diff options
| author |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-10-05 16:34:57 +0200 |
|---|---|---|
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-10-05 16:34:57 +0200 |
| commit | bba2cfb5921653f18d6cedf2800cdc1abf9310af (patch) | |
| tree | 5f965148296f1a955c80b4d0b70650630c5fdd08 /tactics | |
| parent | 6f51b8cafe7a873600e7a0c8675a72a8aee40184 (diff) | |
Update the .mailmap file.
The update process is as follows: run "git shortlog -s -e" and look for
duplicate or missing contributors.
Diffstat (limited to 'tactics')
0 files changed, 0 insertions, 0 deletions