try to use consistent names
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 19 Jan 2013 12:01:51 +0000 (13:01 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 19 Jan 2013 12:01:51 +0000 (13:01 +0100)
commit6216b8f07d63a262934658ebb985c5f83ba871c1
treec2149f374992005d8898a5d01a2d1b22be9ca7d5
parent1bb1f19211527b8968ba7ad72972690d3d4092dd
try to use consistent names
scripts/builds.sh