Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
xsltproc is not used since... a long time ago
authorAugustin Degomme <adegomme@users.noreply.github.com>
Thu, 2 Jan 2020 16:54:59 +0000 (17:54 +0100)
committerAugustin Degomme <adegomme@users.noreply.github.com>
Thu, 2 Jan 2020 16:54:59 +0000 (17:54 +0100)
commitcd88e3dea18570e75560800e7c302c92eb21e9d3
treea35e58cb1bd494ff1d2e95622cb591f357392cfc
parentee1d6de583003b2940b79004a27f6e234dc31f5e
xsltproc is not used since... a long time ago
tools/jenkins/build.sh