This commit was manufactured by cvs2svn to create branch 'helm'.

[helm.git] / helm / interface / .cvsignore

diff --git a/helm/interface/.cvsignore b/helm/interface/.cvsignore
deleted file mode 100644 (file)
index 3a68425..0000000
--- 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