X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=.gitignore;fp=.gitignore;h=05efd6e7a559c17b69876a007ce1b5526fb675ff;hp=d2e1e23e52b91581c12ad4d6b53fef8bc804f980;hb=ea711715d5b2be168b1dc3c192e1321163bb29fe;hpb=ce94d5e8d20b4480339edb1ef79a612d5cee0d22

diff --git a/.gitignore b/.gitignore
index d2e1e23e5..05efd6e7a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,17 +13,8 @@ _build
 *.native
 *.byte
 
-matita/Makefile.defs
-matita/autom4te.cache
-matita/components/METAS/META*
-matita/config.log
-matita/configure
-
 matita/components/extlib/componentsConf.ml
-matita/matita/matita.conf.xml
 matita/matita/matita.glade.utf8
-matita/depend-stamp
-matita/config.status
 
 matita/matita/help/C/pdf-stamp
 matita/matita/help/C/html-stamp