diff options
Diffstat (limited to 'doc/.cvsignore')
| -rw-r--r-- | doc/.cvsignore | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/doc/.cvsignore b/doc/.cvsignore new file mode 100644 index 00000000..3e902e63 --- /dev/null +++ b/doc/.cvsignore @@ -0,0 +1,14 @@ +ProofGeneral.log +ProofGeneral.dvi +ProofGeneral.aux +ProofGeneral.cp +ProofGeneral.fn +ProofGeneral.vr +ProofGeneral.tp +ProofGeneral.ky +ProofGeneral.pg +ProofGeneral.toc +ProofGeneral.info +ProofGeneral.cps +ProofGeneral.fns +ProofGeneral.vrs
\ No newline at end of file |