diff options
| author | David Aspinall | 1998-11-18 13:46:19 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-18 13:46:19 +0000 |
| commit | 2fc559b578674641940c037de958617b778e3026 (patch) | |
| tree | d191b70ad957e25cb34796bc1c7b11ef0e67383f | |
| parent | ffc00ac806f88de57030c3019615334e97602c10 (diff) | |
Added NewDoc temporaries
| -rw-r--r-- | doc/.cvsignore | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/doc/.cvsignore b/doc/.cvsignore index 3e902e63..4b3b22ab 100644 --- a/doc/.cvsignore +++ b/doc/.cvsignore @@ -11,4 +11,18 @@ ProofGeneral.toc ProofGeneral.info ProofGeneral.cps ProofGeneral.fns -ProofGeneral.vrs
\ No newline at end of file +ProofGeneral.vrs +NewDoc.log +NewDoc.dvi +NewDoc.aux +NewDoc.cp +NewDoc.fn +NewDoc.vr +NewDoc.tp +NewDoc.ky +NewDoc.pg +NewDoc.toc +NewDoc.info +NewDoc.cps +NewDoc.fns +NewDoc.vrs |