.gitattributes - coq-mathcomp - Library of mathematical components formalized in Coq

about summary refs log tree commit diff

path: root/.gitattributes

blob: 3c053776d7a094f351317a04f9bb62de63f717bc (plain)

1
2
3

.git* export-ignore
.mailmap export-ignore
CHANGELOG_UNRELEASED.md merge=union