keep only defaults relevant to the inria end
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 29 Jan 2014 09:37:57 +0000 (10:37 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 29 Jan 2014 09:37:57 +0000 (10:37 +0100)
commitbba85f3fef3836444cee2f5e9b45d3a8e336f2a7
tree954d5b37a41112d6d38e92aeabb89f14c297fcd0
parentb9f88347dc16d429bdfc0b626ebb97f25e174588
keep only defaults relevant to the inria end
lbuild-nightly.sh