Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'master' into master
[simgrid.git] / tools / docker / Dockerfile.stable
2018-09-13 Martin QuinsonMerge branch 'master' into master blob | commitdiff | raw
2018-08-24 Martin Quinsondocker: use dpkg-shlibdeps to not uninstall the depende... blob | commitdiff | raw
2018-08-23 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... blob | commitdiff | raw | diff to current
2018-08-23 Martin Quinsondocker: Try to reduce the image sizes blob | commitdiff | raw | diff to current
2018-08-22 Martin Quinsondocker: put our sources under /src blob | commitdiff | raw | diff to current
2018-08-22 Martin QuinsonDockerfiles to build our nice images blob | commitdiff | raw | diff to current
Clone of SimGrid repository with local patches