diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-03-03 16:33:08 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-03-03 16:33:08 +0000 |
| commit | 40cd2418ddaf543c02426ca8bdd2bc2ebc4cba01 (patch) | |
| tree | 11487e067049b30662b6b5ca24b387e3f794c902 /doc | |
| parent | b0e8efd91d32638a4c5e3b3b96b7bc6d8fc209b8 (diff) | |
Inutile en svn
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8612 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/.cvsignore | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/doc/.cvsignore b/doc/.cvsignore deleted file mode 100644 index b56727b62..000000000 --- a/doc/.cvsignore +++ /dev/null @@ -1,39 +0,0 @@ -version.tex -*.blg -*.ind -*.ilg -*.v.tex -*.pdf -euclid.ml* -heapsort.ml* -avl.ml -*.bbl -www -coq-docs-html -Reference-Manual.atoc -Reference-Manual.tacidx Reference-Manual.tacind Reference-Manual.comind -Reference-Manual.comidx Reference-Manual.errind Reference-Manual.erridx -Reference-Manual.hidx Reference-Manual.haux Reference-Manual.hind -Reference-Manual.hcomind Reference-Manual.htacind Reference-Manual.herrind -Reference-Manual.sh -Anomalies.dvi.gz Anomalies.ps.gz Changes.dvi.gz Changes.ps.gz Library.dvi.gz Library.ps.gz Reference-Manual-addendum.ps.gz Reference-Manual-all.dvi.gz Reference-Manual-all.ps.gz Reference-Manual-base.ps.gz Tutorial.dvi.gz Tutorial.ps.gz -Reference-Manual-base.dvi.gz -Reference-Manual-addendum.dvi.gz -Tutorial.pdf.gz -Reference-Manual.pdf.gz -Library.pdf.gz -Changes.pdf.gz -auto -all-ps-docs.tar -doc-html.tar.gz -all-ps-docs.tar.gz -config.cache -config.status -Reference-Manual.rel -library.files -library.files.ls -library.files.ls.tmp -library.coqweb.tex -tradv8 -coqide.eps -coqide-queries.eps |