Cosmetic changes.

[tatoo.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index dae0385..804ed5a 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,19 @@
-_build
+*.cm*
+*.o
 *.native
 *.byte
-tests/*.results/*
+tests/*.results/*_tatoo*
+*.class
+tests/trace/*.html
+tests/trace/*.dot
+tests/trace/*.svg
+configure
+config.status
+Remakefile
+autom4te.cache
+config.log
+remake
+.remake
+src/xpath/xpath_internal_parser.ml
+src/xpath/xpath_internal_parser.mli