coq - the Coq proof assistant

	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.