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

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

diff --git a/helm/interface/.cvsignore b/helm/interface/.cvsignore
deleted file mode 100644 (file)
index 49c2d73..0000000
--- a/helm/interface/.cvsignore
+++ /dev/null
@@ -1,12 +0,0 @@
-*.cmo
-*.cmx
-*.cmi
-
-experiment
-experiment.opt
-fix_params
-fix_params.opt
-mmlinterface
-mmlinterface.opt
-reduction
-reduction.opt