Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
add the dumb script used to update project description on jenkins to the repo
authorAugustin Degomme <adegomme@users.noreply.github.com>
Tue, 31 Jul 2018 20:17:01 +0000 (22:17 +0200)
committerAugustin Degomme <adegomme@users.noreply.github.com>
Tue, 31 Jul 2018 20:17:01 +0000 (22:17 +0200)
commitdf1faf3e08b0a46f32b7c482b9e82e6b7bd0bbf6
tree80ff169bad4437860cb4be2111cebd77d7d16f09
parent35dd1f97f9a38ec1d1fb036e9a0a91622abd6936
add the dumb script used to update project description on jenkins to the repo
tools/jenkins/project_description.sh [new file with mode: 0755]