.cvsignore « ide - coq - The formal proof system

about summary refs log tree commit diff

path: root/ide/.cvsignore

blob: 331b1947b41140b854cd8bb43f7d57b47fe8192b (plain)

lexer.ml
why_viewer
.depend
find_phrase.ml
highlight.ml
coqide
Makefile
test
config_lexer.ml
*.crashcoqide