diff options
| author |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2017-09-05 14:35:15 +0200 |
|---|---|---|
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2017-09-05 14:35:20 +0200 |
| commit | bb5fa2a3a2a1e398683d38a8731faa2ff3ec39b0 (patch) | |
| tree | c6db35509db2cbf09ce397015392fe9c6c10c889 /config | |
| parent | 6a81f080d7dc948e3cb325bd00aa6ea57d365503 (diff) | |
| parent | 2123fb17f65162b7299cb29d1fc48c222922fa04 (diff) | |
Merge PR #1020: .mailmap update
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions