X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=.gitignore;h=9181bd9ac79e86d81bcce1190386841a785422f2;hp=62417efe9e9eda6e416c15d7a03c5d6858f889f3;hb=b1dd0048c707c1d459667946912346680e34dd02;hpb=e381c2bd8da5a33c0fdb1e6cfa9c1800386eafed diff --git a/.gitignore b/.gitignore index 62417ef..9181bd9 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,7 @@ -_build +gmon.out +*.dep* +*.cm* +*.o *.native *.byte tests/*.results/*_tatoo* @@ -6,11 +9,18 @@ tests/*.results/*_tatoo* tests/trace/*.html tests/trace/*.dot tests/trace/*.svg -configure config.status Remakefile +Makefile autom4te.cache config.log 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