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=fa11ed6dc134f8ad3421c37a97271018e075bbed;hp=3a68425a2242d1873b3922e7482333a3a5bb2d78;hpb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;p=helm.git

diff --git a/helm/interface/.cvsignore b/helm/interface/.cvsignore
deleted file mode 100644
index 3a68425a2..000000000
--- a/helm/interface/.cvsignore
+++ /dev/null
@@ -1,15 +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