Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Dead assignments.
[simgrid.git] / .mailmap
2017-12-27 Arnaud GierschAdd .mailmap, to improve git shortlog's output.