index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
.mailmap
Age
Commit message (
Expand
)
Author
2020-04-29
Merge duplicates in .mailmap
Jason Gross
2020-04-19
Update .mailmap
Jason Gross
2019-05-21
Fixing typos - Part 1
JPR
2019-04-29
Add some entries to .mailmap
Jason Gross
2019-04-10
[mailmap] Tweak Emilio's entries.
Emilio Jesus Gallego Arias
2018-11-14
[mailmap] Update "anonymous" accounts.
Théo Zimmermann
2018-11-14
Update .mailmap.
Théo Zimmermann
2018-10-05
Remove duplicate committers.
Guillaume Melquiond
2017-11-05
Update .mailmap with a jkloos alias
Jason Gross
2017-09-05
.mailmap update
Gaëtan Gilbert
2017-08-24
Update .mailmap file.
Guillaume Melquiond
2017-04-08
Update the .mailmap file.
Guillaume Melquiond
2016-07-06
Deduplicate some names in .mailmap
Jason Gross
2016-07-05
Add mailmap entry.
Guillaume Melquiond
2015-10-05
Update the .mailmap file.
Guillaume Melquiond
2014-08-26
Add t-jagro to .mailmap
Jason Gross
2014-08-25
"allows to", like "allowing to", is improper
Jason Gross
2014-08-07
More .mailmap update.
Arnaud Spiwack
2014-08-07
Add some more entries to .mailmap
Arnaud Spiwack
2014-01-17
Update .mailmap with recent contributors.
Arnaud Spiwack
2013-11-27
Use my real email address in .mailmap
Enrico Tassi
2013-11-21
updated .mailmap
Pierre Letouzey
2013-11-19
update .mailmap with my email now that I've used it in a commit
Pierre Letouzey
2013-11-19
A .mailmap file for a nice git-shorlog display
Pierre Letouzey