diff options
| author | Théo Zimmermann | 2018-11-12 17:58:12 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2018-11-14 09:17:21 +0100 |
| commit | 11e8b3de07b82bd6dcec8a59c04ef95f05ccd2f7 (patch) | |
| tree | 9af838166f5b4eab1e30fe08791ee30101c948b3 /doc/plugin_tutorial/tuto0/src/dune | |
| parent | b1365f26cc49e285245c4dc51304218459bacfbd (diff) | |
[mailmap] Update "anonymous" accounts.
Of the three "anonymous" accounts, one ("coq") was used by multiple authors
(in particular Jacek Chrząszcz who developed the module system), while the
other two are each the committer of a single auto-generated commit so we rename
them to cvs2svn and serpyc-bot.
Diffstat (limited to 'doc/plugin_tutorial/tuto0/src/dune')
0 files changed, 0 insertions, 0 deletions