.gitattributes - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/.gitattributes

blob: 4ebfaaf91678f19f06e8f14de1d05c869ead9b12 (plain)

.dir-locals.el export-ignore
.gitattributes export-ignore
.gitignore export-ignore
TODO export-ignore