Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Use new/delete and remove useless cast.
[simgrid.git] / .mailmap
2017-12-27 Arnaud GierschAdd .mailmap, to improve git shortlog's output.