start with the debians on reed so that plf is relevant
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 4 Feb 2014 17:08:44 +0000 (18:08 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 4 Feb 2014 17:08:44 +0000 (18:08 +0100)
commit6ae8031dc3717f0a9a26bc6b668fa8fc2279d31a
tree48ea332c58cf312f802bb7d09fc54f2c46128bc0
parentb20b4e9a320e52c38f7899cd1a171a90d1a3fc1c
start with the debians on reed so that plf is relevant
scripts/builds.sh