forked from agda/agda-stdlib
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.mailmap
23 lines (20 loc) · 1.05 KB
/
.mailmap
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
# The information from some Git commands, e.g. git shortlog -nse, is
# better by using this file.
# Please keep this file in alphabetic order!
##############################################################################
Alan Jeffrey <[email protected]> ajeffrey
Andreas Abel <[email protected]> andreas.abel
Darin Morrison <[email protected]> dwm
Dominique Devriese <[email protected]> <[email protected]>
Evgeny Kotelnikov <[email protected]> aztek
Gergő Érdi <[email protected]> gergo
Jean-Philippe Bernardy <[email protected]> jeanphilippe.bernardy
Noam Zeilberger <[email protected]> noam.zeilberger
Patrik Jansson <[email protected]> patrikj
Shin-Cheng Mu <[email protected]> scm
Ulf Norell <[email protected]> ulf.norell <[email protected]>
Ulf Norell <[email protected]> ulfn
Ulf Norell <[email protected]> ulfn <[email protected]>