Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Only unregister the kill timer once, in maestro context
[simgrid.git] / src / simgrid / version.h.in
2019-01-11 Martin Quinsondon't include the git hash in simgrid/config.h