Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Windows need time to remove the builddir
authorMartin Quinson <martin.quinson@loria.fr>
Sat, 4 Nov 2017 21:47:15 +0000 (22:47 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Sat, 4 Nov 2017 21:47:15 +0000 (22:47 +0100)
commit961d5375f6d484cad47fabea773b02c399c31e17
tree86807619be79ca122ac96db8df6b1363c40f07e3
parent75b65a5359d9a02cc2f199c2eb34838e85650eac
Windows need time to remove the builddir
tools/jenkins/build.sh