X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=.gitignore;h=8810ca0e51b0fb445d88a03bc6c423cb446d4121;hp=dae038546405610aeb2ea69cf1bf8f7c35d39875;hb=566b96d016a9b81cea73d019551af2ab60b54ca8;hpb=97cc08246d4a73e9cc9070f645a351799b7340d1 diff --git a/.gitignore b/.gitignore index dae0385..8810ca0 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,21 @@ -_build +*.dep +*.cm* +*.o *.native *.byte -tests/*.results/* +tests/*.results/*_tatoo* +*.class +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