AND Public Git Repository - simgrid.git/history

2018-10-11	jed56 ( Jean-Emile...	Merge branch 'master' into v3.20-expose-simgrid-jni	blob \| commitdiff \| raw
2018-09-13	Martin Quinson	Merge branch 'master' into master	blob \| commitdiff \| raw
2018-08-24	Martin Quinson	kill trailing spaces	blob \| commitdiff \| raw
2018-08-23	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2018-08-22	Martin Quinson	docs: start the user manual, and rephrase some parts...	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches