AND Public Git Repository - simgrid.git/history - tools/docker/Dockerfile.stable

2018-10-11	jed56 ( Jean-Emile...	Merge branch 'master' into v3.20-expose-simgrid-jni	blob \| commitdiff \| raw
2018-09-18	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw
2018-09-18	Martin Quinson	dockerfiles: install our files under /source/ and refre...	blob \| commitdiff \| raw
2018-09-13	Martin Quinson	Merge branch 'master' into master	blob \| commitdiff \| raw \| diff to current
2018-08-24	Martin Quinson	docker: use dpkg-shlibdeps to not uninstall the depende...	blob \| commitdiff \| raw \| diff to current
2018-08-23	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2018-08-23	Martin Quinson	docker: Try to reduce the image sizes	blob \| commitdiff \| raw \| diff to current
2018-08-22	Martin Quinson	docker: put our sources under /src	blob \| commitdiff \| raw \| diff to current
2018-08-22	Martin Quinson	Dockerfiles to build our nice images	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches