updated builds after tags renaming and cleanup
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 10 Dec 2013 09:21:49 +0000 (10:21 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 10 Dec 2013 09:21:49 +0000 (10:21 +0100)
commit9ff39fac8e443c333f1efa1501c864926f69118c
treec1bd44403f54203aeb0e1b1601b65188bdbb61ed
parent8434f3b4e9a48eee02648b7641583554dbdd8fd6
updated builds after tags renaming and cleanup
scripts/builds.sh