Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[jenkins] Fix jenkins
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 27 Jul 2015 13:36:12 +0000 (15:36 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 27 Jul 2015 13:36:12 +0000 (15:36 +0200)
commita660643904c5e7ec61e5b9850a970303353070cc
tree217ab8f7ee63934b09c6acf1a11276bff9ad73e9
parent673dd7d1507e505024a8ca0ac0179183bd8ccd7d
[jenkins] Fix jenkins
buildtools/jenkins/build.sh