X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=.gitignore;h=9181bd9ac79e86d81bcce1190386841a785422f2;hp=9a69b9e25d66a333d146414d8fa54bb187d708ad;hb=b1dd0048c707c1d459667946912346680e34dd02;hpb=9e30b2449cf7b1ea99ed934c1e8f9d0bca77944b diff --git a/.gitignore b/.gitignore index 9a69b9e..9181bd9 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,5 @@ gmon.out -*.dep +*.dep* *.cm* *.o *.native @@ -9,7 +9,6 @@ tests/*.results/*_tatoo* tests/trace/*.html tests/trace/*.dot tests/trace/*.svg -configure config.status Remakefile Makefile @@ -19,4 +18,9 @@ remake .remake 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 +.DS_Store