Cosmetic changes.

[tatoo.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 62417ef..804ed5a 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
-_build
+*.cm*
+*.o
 *.native
 *.byte
 tests/*.results/*_tatoo*
@@ -13,4 +14,6 @@ autom4te.cache
 config.log
 remake
 .remake
+src/xpath/xpath_internal_parser.ml
+src/xpath/xpath_internal_parser.mli