X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=.gitignore;h=6902bbf53e2a86c7a79f1bd21da3ddb80319411e;hp=804ed5a61bf52bd1a51d8dfe7a7a0051b095b52d;hb=c6a89f390d6171f99d98f794427c1cce42fbf40c;hpb=ef59263005772dd168506a99eeeada5277e1a7b2 diff --git a/.gitignore b/.gitignore index 804ed5a..6902bbf 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,5 @@ +gmon.out +*.dep* *.cm* *.o *.native @@ -10,10 +12,16 @@ 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 +src/trace_css.ml +src/trace_js.ml +tests/xmark*.xml +tests/xmark*.xml.queries +