diff options
author | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-07-30 13:31:14 +0000 |
---|---|---|
committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-07-30 13:31:14 +0000 |
commit | 4d9cfa5472d05b17ddbd93b60c8c7deb0c796190 (patch) | |
tree | 03280ebf3023ea1ca3957a528ce5912a9a0cd472 /.gitignore | |
parent | d0074fd5a21d9c0994694c43773564a4f554d6e1 (diff) |
For git users, a global .gitignore file
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12251 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 61 |
1 files changed, 61 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000..292e9d8a7 --- /dev/null +++ b/.gitignore @@ -0,0 +1,61 @@ +*.glob +*.d +*.d.raw +*.vo +*.cm* +*.o +*.a +*.log +*.aux +*.dvi +*.blg +*.bbl +*.idx +*.ilg +*.toc +bin/ +config/Makefile +config/coq_config.ml +plugins/dp/dp_zenon.ml +dev/ocamldebug-coq +dev/ocamlweb-doc/lex.ml +dev/ocamlweb-doc/syntax.ml +dev/ocamlweb-doc/syntax.mli +ide/config_lexer.ml +ide/config_parser.ml +ide/config_parser.mli +ide/extract_index.ml +ide/find_phrase.ml +ide/highlight.ml +ide/undo.mli +ide/utf8_convert.ml +kernel/byterun/coq_jumptbl.h +kernel/byterun/dllcoqrun.so +kernel/copcodes.ml +scripts/tolink.ml +states/initial.coq +theories/Numbers/Natural/BigN/NMake.v +tools/coqdep_lexer.ml +tools/coqdoc/index.ml +tools/coqdoc/cpretty.ml +tools/coqwc.ml +tools/gallina_lexer.ml +toplevel/mltop.optml +plugins/micromega/csdpcert +toplevel/mltop.byteml +coqdoc.sty +ide/index_urls.txt +doc/faq/html/ +doc/refman/Reference-Manual.pdf +doc/refman/Reference-Manual.ps +doc/refman/cover.html +doc/refman/styles.hva +doc/stdlib/Library.out +doc/stdlib/Library.pdf +doc/stdlib/Library.ps +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 |