X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=.gitignore;h=5bd384126a1cd6b4b540356d105d636876595bf7;hp=8810ca0e51b0fb445d88a03bc6c423cb446d4121;hb=03a5cae4ee4f036cc9fc915d6dbbf52d38bb0bf2;hpb=566b96d016a9b81cea73d019551af2ab60b54ca8 diff --git a/.gitignore b/.gitignore index 8810ca0..5bd3841 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,5 @@ -*.dep +gmon.out +*.dep* *.cm* *.o *.native @@ -18,4 +19,7 @@ remake .remake src/xpath/xpath_internal_parser.ml src/xpath/xpath_internal_parser.mli +tests/xmark*.xml +tests/xmark*.xml.queries +