Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
docker: remove useless packages from tuto-mc
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 13 May 2019 10:24:13 +0000 (12:24 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 14 May 2019 10:16:27 +0000 (12:16 +0200)
commit3225ed09905eefdadcef1e2569b5897052dc4dfd
tree7f15ff53e8940f03a25dd2116c36920a8065a24f
parent5110d9efbb44a0a1e70a562e369e25c5cecc6920
docker: remove useless packages from tuto-mc
tools/docker/Dockerfile.tuto-mc