AND Public Git Repository - simgrid.git/history - docs/source/Configuring

2019-05-17	Martin Quinson	small doc improvement	blob \| commitdiff \| raw
2019-05-16	Frederic Suter	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2019-05-15	Martin Quinson	Remove option 'model-check/record': paths are recorded...	blob \| commitdiff \| raw \| diff to current
2019-05-15	Martin Quinson	[mc] enable model-check/record by default, and cosmetics	blob \| commitdiff \| raw \| diff to current
2019-05-14	Millian Poquet	[doc] trailing space cosmetics	blob \| commitdiff \| raw \| diff to current
2019-02-06	Arnaud Giersch	Update some URLs to simgrid.org.	blob \| commitdiff \| raw \| diff to current
2019-01-15	Martin Quinson	Implement thread factory with std::thread, and cleanups	blob \| commitdiff \| raw \| diff to current
2018-10-24	Martin Quinson	docs: user-friendly URLs	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches