1) Optimiser les fontions auxiliaires par eviter d'utiliser List.mem

[tatoo.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 62417ef..9181bd9 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,7 @@
-_build
+gmon.out
+*.dep*
+*.cm*
+*.o
 *.native
 *.byte
 tests/*.results/*_tatoo*
@@ -6,11 +9,18 @@ tests/*.results/*_tatoo*
 tests/trace/*.html
 tests/trace/*.dot
 tests/trace/*.svg
-configure
 config.status
 Remakefile
+Makefile
 autom4te.cache
 config.log
 remake
 .remake
+src/xpath/xpath_internal_parser.ml
+src/xpath/xpath_internal_parser.mli
+src/trace_css.ml
+src/trace_js.ml
+tests/xmark*.xml
+tests/xmark*.xml.queries
+.DS_Store