Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'noRngStream' into 'master'
[simgrid.git] / src / simgrid / version.h.in
2019-01-11 Martin Quinsondon't include the git hash in simgrid/config.h