X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;ds=sidebyside;f=.gitignore;h=804ed5a61bf52bd1a51d8dfe7a7a0051b095b52d;hb=13a9a0ab8988f32b0c654ddc1192236a028a20d9;hp=d7eda5ae9a4fdcd95bdaa9ce7c116dc41268a135;hpb=d1f3da0c53bda042ec95e1e377ced671296df35c;p=tatoo.git diff --git a/.gitignore b/.gitignore index d7eda5a..804ed5a 100644 --- a/.gitignore +++ b/.gitignore @@ -14,3 +14,6 @@ autom4te.cache config.log remake .remake +src/xpath/xpath_internal_parser.ml +src/xpath/xpath_internal_parser.mli +