.cvsignore - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/.cvsignore

blob: 612daa28428a846631730d9bca592b51ac1f8cc0 (plain)

coqtop.byte
coqtop
minicoq
coqtop.opt
glob.dump
tmp
.depend.devel