Cosmetic changes.

[tatoo.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 4ea4ac0..804ed5a 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,19 @@
-_build/*
-test.native
\ No newline at end of file
+*.cm*
+*.o
+*.native
+*.byte
+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
+