Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Revert change erroneously introduced in commit 223f79c1a096e4157772f8bc3b4f5cdf5161b524
[simgrid.git] / tools / docker /
drwxr-xr-x   ..
-rw-r--r-- 688 Dockerfile.build-deps
-rw-r--r-- 1235 Dockerfile.stable
-rw-r--r-- 1911 Dockerfile.tuto-mc
-rw-r--r-- 772 Dockerfile.tuto-s4u
-rw-r--r-- 738 Dockerfile.tuto-smpi
-rw-r--r-- 1206 Dockerfile.unstable
-rw-r--r-- 3126 Makefile