coq-mathcomp/.mailmap, branch master Library of mathematical components formalized in Coq adding entries to the mailmap 2020-11-26T11:04:28+00:00 Cyril Cohen 2020-11-26T11:04:28+00:00 3a758716af65299bd87cb682f93331794ba31c43 






fixing mailmap
2020-06-09T14:18:57+00:00

Cyril Cohen

2020-06-09T14:18:57+00:00

a0190671968d29a7ceff1d6d75ca46c485d1151e












mailmap for Yves and Reynald
2020-06-09T14:16:17+00:00

Cyril Cohen

2020-06-09T14:16:17+00:00

7d2443e9da45c081189c58722f963f8fa3bcd157












update mailmap
2019-04-08T16:08:47+00:00

Enrico Tassi

2019-04-08T16:08:38+00:00

b1561523a76c851c864f16840f8b0db9dfe20cfe












add .mailmap to uniform names/email of committers
2015-12-03T09:59:18+00:00

Enrico Tassi

2015-12-03T09:45:16+00:00

7bf7dca588710bba38a173dedb2a3cb7408c1b2a