simpler build names
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 14 Jan 2014 08:17:34 +0000 (09:17 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 14 Jan 2014 08:17:43 +0000 (09:17 +0100)
commita4a5ddc5f7b8b2542a5941e709eb43ca30ef43c7
tree5628a2af383d9c5fa8fed81dd9fa608c57804140
parent6ce280006568e7f51ff9e6ca8b5ab70f50c7a576
simpler build names
scripts/builds.sh