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

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