oops, fix build git path
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 15 May 2014 07:27:18 +0000 (09:27 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 15 May 2014 07:27:18 +0000 (09:27 +0200)
commit87b56019be963d9567fac329be6c728780a60e8c
tree564efb6a54e264d2708d6608ff31dc4a5e3ebed3
parent7aed5c5dd9a6443f9b6eb49275afc78999be0aa2
oops, fix build git path
scripts/builds.sh