X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=.gitignore;fp=.gitignore;h=4030ff63918182e634e46f3e4fb33e95b5a2377c;hp=9e61906b90b6625eb8c61ee7b046a67d170417d2;hb=a718c76f2cf07c28fcf8a272e9ad699889049d3b;hpb=d7b0af638a29c2d5c3cc937dfc8e11c19180f738 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