diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-07-30 14:12:41 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-07-30 14:12:41 +0000 |
| commit | 92a65c4943ba13df93db2661117d1ce23e0c02ba (patch) | |
| tree | bb4fdd98ffe6ae10cfbd54b8ca228e16a25db917 /.gitignore | |
| parent | 4d9cfa5472d05b17ddbd93b60c8c7deb0c796190 (diff) | |
Git ignore files
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12252 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 292e9d8a7..948cd98d7 100644 --- a/.gitignore +++ b/.gitignore @@ -50,12 +50,26 @@ doc/refman/Reference-Manual.pdf doc/refman/Reference-Manual.ps doc/refman/cover.html doc/refman/styles.hva +doc/refman/Reference-Manual.html +doc/common/version.tex +doc/refman/Reference-Manual.sh +doc/refman/coqide-queries.eps +doc/refman/coqide.eps +doc/refman/euclid.ml +doc/refman/euclid.mli +doc/refman/heapsort.ml +doc/refman/heapsort.mli +doc/refman/html/ doc/stdlib/Library.out doc/stdlib/Library.pdf doc/stdlib/Library.ps +doc/stdlib/Library.coqdoc.tex +doc/stdlib/html/ +doc/stdlib/index-body.html +doc/stdlib/index-list.html doc/RecTutorial/RecTutorial.html doc/RecTutorial/RecTutorial.pdf doc/RecTutorial/RecTutorial.ps _build plugins/*/*_mod.ml -myocamlbuild_config.ml
\ No newline at end of file +myocamlbuild_config.ml |