.gitignore - coq - The formal proof system

about summary refs log tree commit diff

path: root/.gitignore

blob: 6efd03647c02e62f1a87c60240ed93b85b5860cf (plain)

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