.cvsignore - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/.cvsignore

blob: c634c5a3e544dbe76e0f3b034c55fbe8a408a7fc (plain)

.byte-compile
nohup.out
TAGS
ChangeLog
*/*.autotest.txt