add flags file to gitinore.

[tatoo.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index e0ac839..e3a6b7e 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -19,5 +19,10 @@ remake
 .remake
 src/xpath/xpath_internal_parser.ml
 src/xpath/xpath_internal_parser.mli
-tests/xmark*.xml*
+src/trace_css.ml
+src/trace_js.ml
+tests/xmark*.xml
+tests/xmark*.xml.queries
 
+
+*.flags