X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2F.cvsignore;fp=helm%2Finterface%2F.cvsignore;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=742f6eb3716ebfaf965397a5cb6e08b3e1c417c6;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/interface/.cvsignore b/helm/interface/.cvsignore
deleted file mode 100644
index 742f6eb37..000000000
--- a/helm/interface/.cvsignore
+++ /dev/null
@@ -1,27 +0,0 @@
-*.cmo
-*.cmx
-*.cmi
-
-experiment
-experiment.opt
-fix_params
-fix_params.opt
-mmlinterface
-mmlinterface.opt
-reduction
-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