Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[jenkins] remove the right files from /tmp
authorMartin Quinson <martin.quinson@loria.fr>
Thu, 7 Jan 2016 22:06:01 +0000 (23:06 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Thu, 7 Jan 2016 22:06:01 +0000 (23:06 +0100)
commit117d7944aa451afe5a2f7f794797f28848896fdb
treecfbd1f1b37d71aba6895d36f1a17b8e3f1c373d1
parent73fdee377ce9b2515ff15e4b9d5ed4b995edd6a6
[jenkins] remove the right files from /tmp
tools/jenkins/build.sh