remove the -bbox21 suffix
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 10 Mar 2015 08:43:06 +0000 (09:43 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 10 Mar 2015 08:43:06 +0000 (09:43 +0100)
commitdf0ae35be81824eb3f10e60eaaae531b16b5e02f
treef5a8b2944e2877eb7126470d96df0993de9165f2
parent8d9d6486004ed7884b4860b3eb7a655c6220b741
remove the -bbox21 suffix
scripts/builds.sh