This commit was manufactured by cvs2svn to create branch

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

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