no need to mention tags anymore
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 31 Aug 2012 14:05:01 +0000 (16:05 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 31 Aug 2012 14:05:01 +0000 (16:05 +0200)
commit0331a01e9d31e35248f51a0993212f66bfd43409
tree56efa21f2c056a87c39c354d2fa2b7c32468c6a8
parentc9272c522fdfe69fd6b3b2aa3fb0482fe60330f5
no need to mention tags anymore
scripts/builds.sh