Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
circleci: no need to apt-get now that we use a docker
authorMartin Quinson <martin.quinson@loria.fr>
Tue, 12 Jun 2018 15:29:39 +0000 (17:29 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Tue, 12 Jun 2018 15:29:39 +0000 (17:29 +0200)
commite40fee8bdae77532f3cc572fe1ba01a1acebc3c7
tree2ab4f78a1206df49bd53d1dafee7ce884c2482e9
parent5f162b67641706c3cd46a09e7b9f37deaf85bd62
circleci: no need to apt-get now that we use a docker
.circleci/config.yml