X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=.gitignore;h=c683a0ce5248a082b1ecb6f65c40170d10061591;hb=57d93cea4d7dbd1ae5ee706b216fd42a1795de29;hp=62417efe9e9eda6e416c15d7a03c5d6858f889f3;hpb=e381c2bd8da5a33c0fdb1e6cfa9c1800386eafed;p=tatoo.git diff --git a/.gitignore b/.gitignore index 62417ef..c683a0c 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,6 @@ -_build +*.dep +*.cm* +*.o *.native *.byte tests/*.results/*_tatoo* @@ -13,4 +15,6 @@ autom4te.cache config.log remake .remake +src/xpath/xpath_internal_parser.ml +src/xpath/xpath_internal_parser.mli