| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Update .mailmap with recent contributors. |  Arnaud Spiwack | 2014-01-17 |
| | | | | | | I should have updated everyone who committed since the migration to git (giving me a canonical email). I've search git shortlog -s to ensure the best I could that there are no duplicate. I discovered that email addresses from the mailmap are uncapitalised whereas the unmodified addresses are not, creating two different authors for no reason. So, I've added some record to normalise the canonical email addresses when needed. | ||
| * | Use my real email address in .mailmap |  Enrico Tassi | 2013-11-27 |
| | | |||
| * | updated .mailmap |  Pierre Letouzey | 2013-11-21 |
| | | |||
| * | 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 | 2013-11-19 |
| In particular, this file allows to merge duplicated identities of a same person. See man git shortlog for more details. | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |