Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
avoid mixing travis builders
authorAugustin Degomme <adegomme@users.noreply.github.com>
Sat, 27 Jul 2019 09:04:36 +0000 (11:04 +0200)
committerAugustin Degomme <adegomme@users.noreply.github.com>
Sat, 27 Jul 2019 09:04:58 +0000 (11:04 +0200)
commite84659ef22bae50c28bce4163d837e819a6a7fc5
tree7cd767559ec5c0ed162ddc4df1ff3a1967101794
parent02c55f124e39483550e0ced97ce787284e5dd2ca
avoid mixing travis builders
tools/jenkins/project_description.sh