X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=.gitignore;h=4030ff63918182e634e46f3e4fb33e95b5a2377c;hb=3fadb034bfc0075d420bdd1383214014500501b8;hp=5bd384126a1cd6b4b540356d105d636876595bf7;hpb=4c6227b270c2efe640654ce2a2151c1cc43ec1a1;p=tatoo.git diff --git a/.gitignore b/.gitignore index 5bd3841..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 @@ -14,12 +14,15 @@ config.status Remakefile Makefile autom4te.cache +_build config.log remake .remake src/xpath/xpath_internal_parser.ml src/xpath/xpath_internal_parser.mli -tests/xmark*.xml -tests/xmark*.xml.queries +src/trace_css.ml +src/trace_js.ml +tests/xpath/xmark*.xml +tests/xpath/xmark*.xml.queries