...

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

diff --git a/helm/interface/.cvsignore b/helm/interface/.cvsignore
index e1f786511c8dc4881708ba8a86f494986df1e68c..d93fd19b18f8a8ec8cec0caf22e45878bba2807e 100644 (file)
--- a/helm/interface/.cvsignore
+++ b/helm/interface/.cvsignore
@@ -15,6 +15,7 @@ output.ps
 output2.ps
 
 Makefile
+configuration.ml
 configure
 config.log
 config.cache