Merge branch 'jit' of ssh://git.nguyen.vg/tatoo into jit

[tatoo.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 6902bbf..d40deaa 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -23,5 +23,5 @@ src/trace_css.ml
 src/trace_js.ml
 tests/xmark*.xml
 tests/xmark*.xml.queries
-
-
+*.flags
+tests/saxon9he.jar
\ No newline at end of file