X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=.gitignore;h=7c5eb1ccaa3c2bebb7d8c34013ab3e7604542b76;hb=b9eb69f1aab87a5c1a8f4e5c4a8b887dd32c3d73;hp=c3652470c525fdee173c61398839c88a22e06ae5;hpb=865b5eee6a8b6855543acc94353ae57df11f265d;p=tatoo.git diff --git a/.gitignore b/.gitignore index c365247..7c5eb1c 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,7 @@ -_build +gmon.out +*.dep* +*.cm* +*.o *.native *.byte tests/*.results/*_tatoo* @@ -6,3 +9,18 @@ tests/*.results/*_tatoo* tests/trace/*.html tests/trace/*.dot tests/trace/*.svg +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 + +