From: Kim Nguyễn <kn@lri.fr>
Date: Fri, 4 Mar 2016 16:27:02 +0000 (+0100)
Subject: Update .gitignore.
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=a718c76f2cf07c28fcf8a272e9ad699889049d3b

Update .gitignore.
---

diff --git a/.gitignore b/.gitignore
index 9e61906..4030ff6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,7 +4,7 @@ gmon.out
 *.o
 *.native
 *.byte
-tests/*.results/*_tatoo*
+tests/xpath/*.results/*_tatoo*
 *.class
 tests/trace/*.html
 tests/trace/*.dot
@@ -22,7 +22,7 @@ src/xpath/xpath_internal_parser.ml
 src/xpath/xpath_internal_parser.mli
 src/trace_css.ml
 src/trace_js.ml
-tests/xmark*.xml
-tests/xmark*.xml.queries
+tests/xpath/xmark*.xml
+tests/xpath/xmark*.xml.queries