coq-mathcomp/.gitattributes, branch master Library of mathematical components formalized in Coq Use union driver for CHANGELOG_UNRELEASED 2020-08-11T01:55:04+00:00 Cyril Cohen 2020-08-11T01:11:49+00:00 dc20e2d9c85fd90393867f816f659edee1ac8a92 






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












Update .git* conf files to ignore/exclude cruft
2015-11-05T15:26:24+00:00

Enrico Tassi

2015-11-05T12:29:18+00:00

eb65b7b6f847add79881532b87c1b227c06efd2c