minor tweaks
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 31 Jan 2014 09:35:28 +0000 (10:35 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 31 Jan 2014 09:35:28 +0000 (10:35 +0100)
commit2a82bc33c91489f241fa8b1191651c8e2552a3f2
tree0cbaf9683b57b6078e20f4d856e1131e7cb445f9
parent2328a04a1c08d3ae77623f644939354736eeb985
minor tweaks
lbuild-nightly.sh