fix gitpath to local onelab.eu - oddly enough this build does not seem to actually...
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 24 Oct 2011 12:44:24 +0000 (14:44 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 24 Oct 2011 12:44:24 +0000 (14:44 +0200)
commit505da2326bded79eb05dc7f8259483c3ee879d26
tree4ca63e9b6aea12525bef638715eabe1e57fff5aa
parent235fda6223f50141b8e3ea1e3626767d18285002
fix gitpath to local onelab.eu - oddly enough this build does not seem to actually use that anyways
scripts/builds.sh