X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=.gitignore;h=c683a0ce5248a082b1ecb6f65c40170d10061591;hp=c3652470c525fdee173c61398839c88a22e06ae5;hb=2b85475321db7b38d4df0869fb51d38d98bb6671;hpb=865b5eee6a8b6855543acc94353ae57df11f265d diff --git a/.gitignore b/.gitignore index c365247..c683a0c 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,6 @@ -_build +*.dep +*.cm* +*.o *.native *.byte tests/*.results/*_tatoo* @@ -6,3 +8,13 @@ tests/*.results/*_tatoo* 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 +