Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Remove old workaround.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 30 Jan 2020 20:57:16 +0000 (21:57 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 31 Jan 2020 08:56:08 +0000 (09:56 +0100)
commit50241f61c039617ee59a80d84fb13bbd57c22c96
tree21e2f5f41f2dba1abc778dea18beb1e26cb24db2
parent26bdb1496087b0a62871399f8703b990de7cc676
Remove old workaround.
tools/jenkins/build.sh