X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2F.cvsignore;h=742f6eb3716ebfaf965397a5cb6e08b3e1c417c6;hb=2f28bfb47f5fad6b3c5a705d9ede95700416dee8;hp=3a68425a2242d1873b3922e7482333a3a5bb2d78;hpb=281afdfcdd0b20a300e1607a0a38a9a621c2ee41;p=helm.git

diff --git a/helm/interface/.cvsignore b/helm/interface/.cvsignore
index 3a68425a2..742f6eb37 100644
--- a/helm/interface/.cvsignore
+++ b/helm/interface/.cvsignore
@@ -13,3 +13,15 @@ reduction.opt
 t1lib.log
 output.ps
 output2.ps
+
+Makefile
+configuration.ml
+helm_wget
+configure
+config.log
+config.cache
+config.status
+
+helm_gtk_interface.spec
+
+gmon.out