X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=.gitignore;h=e0ac8393f10014660d536710698c1d75efeb155d;hp=c683a0ce5248a082b1ecb6f65c40170d10061591;hb=557d231cbc26aeaa2960e246525af3b8b7f3e870;hpb=31514b441ce29f78c114e9d912ba09f37f91d257 diff --git a/.gitignore b/.gitignore index c683a0c..e0ac839 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,5 @@ -*.dep +gmon.out +*.dep* *.cm* *.o *.native @@ -11,10 +12,12 @@ 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*