projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c86503) | patch
Fix get-authors script to not extract email addresses, canonicalize names, add .mailmap
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 2 Apr 2013 17:34:55 +0000 (13:34 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 2 Apr 2013 18:35:35 +0000 (14:35 -0400)
commit6673ce0fdd4bb727208be0cbea59585179758a1c
treee71670cae87243a60ffa3f80a2b61e83a14aaccetree
parent9c86503d8391467fad8d64d29a52a92de7cc65ebcommit | diff
Fix get-authors script to not extract email addresses, canonicalize names, add .mailmap
.mailmap [new file with mode: 0644] blob
contrib/get-authors diff | blob | history