From a718c76f2cf07c28fcf8a272e9ad699889049d3b Mon Sep 17 00:00:00 2001 From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= Date: Fri, 4 Mar 2016 17:27:02 +0100 Subject: [PATCH] Update .gitignore. --- .gitignore | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 -- 2.17.1