METAS removed + matita.conf.xml committed

[helm.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index d2e1e23e52b91581c12ad4d6b53fef8bc804f980..05efd6e7a559c17b69876a007ce1b5526fb675ff 100644 (file)
--- 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