X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=.gitignore;h=5bd384126a1cd6b4b540356d105d636876595bf7;hp=d7eda5ae9a4fdcd95bdaa9ce7c116dc41268a135;hb=03a5cae4ee4f036cc9fc915d6dbbf52d38bb0bf2;hpb=d1f3da0c53bda042ec95e1e377ced671296df35c diff --git a/.gitignore b/.gitignore index d7eda5a..5bd3841 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,5 @@ +gmon.out +*.dep* *.cm* *.o *.native @@ -10,7 +12,14 @@ 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 +tests/xmark*.xml +tests/xmark*.xml.queries + +