X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=.gitignore;h=c683a0ce5248a082b1ecb6f65c40170d10061591;hp=d7eda5ae9a4fdcd95bdaa9ce7c116dc41268a135;hb=2b85475321db7b38d4df0869fb51d38d98bb6671;hpb=f71defc62c481fe8a3a161d904790f3ca117a8cb diff --git a/.gitignore b/.gitignore index d7eda5a..c683a0c 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ +*.dep *.cm* *.o *.native @@ -14,3 +15,6 @@ autom4te.cache config.log remake .remake +src/xpath/xpath_internal_parser.ml +src/xpath/xpath_internal_parser.mli +