Logo AND Algorithmique Numérique Distribuée

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