.gitignore - coq - The formal proof system

about summary refs log tree commit diff

path: root/.gitignore

blob: be4ea26f86656c719b1dc2ee5ab435d16f85acae (plain)

*.ml*.d
*.cm[ix]*
Makefile.coq*
*~
*.[ao]
.coqdeps.d
*.vo
*.glob
*.aux