X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=.gitignore;h=804ed5a61bf52bd1a51d8dfe7a7a0051b095b52d;hp=d035efae138f8ceab377c7303eb941abb6e88565;hb=ff57c96ae37629bfd6ca7695653ac02b4ac013e9;hpb=93fe48302302aca5e7ff091e346d0e6dd75beb2d diff --git a/.gitignore b/.gitignore index d035efa..804ed5a 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,19 @@ -_build +*.cm* +*.o *.native *.byte -tests/*.results/* +tests/*.results/*_tatoo* *.class +tests/trace/*.html +tests/trace/*.dot +tests/trace/*.svg +configure +config.status +Remakefile +autom4te.cache +config.log +remake +.remake +src/xpath/xpath_internal_parser.ml +src/xpath/xpath_internal_parser.mli