add 10' tempo in builds.sh
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 10 Dec 2015 09:30:49 +0000 (10:30 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 10 Dec 2015 09:30:49 +0000 (10:30 +0100)
commitd03032057a1426cdd80ab6cafe8e2a8d09a0a6f6
treeed96396532bbac2612bc5e81dadca529afac7df3
parent04e90efee9dcce6a9a8ff8c382b090202eb9b324
add 10' tempo in builds.sh
scripts/builds.sh