index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
.gitattributes
blob: 00f78b4494ac38c4535a23e4255a3f36c69dd37d (
plain
)
1
2
3
.gitattributes export-ignore .gitignore export-ignore .mailmap export-ignore