X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=.gitignore;h=de544e8843fbb6f5b8788d2dd06bd1eee232c72a;hb=3d1dacfed4ffda1c8f081ad827c2a8d3237ce4bc;hp=d901824409cf23f2b2d1e1e919900ae81a4464ed;hpb=9a22a94c4202a63947e7bcf47c41fde75157c9cd;p=goals.git diff --git a/.gitignore b/.gitignore index d901824..de544e8 100644 --- a/.gitignore +++ b/.gitignore @@ -4,8 +4,14 @@ *.cmx *.cma *.cmxa +*.log *.o +/*.tar.gz +/local* + +/man/*.? + .depend Goalfile Makefile