debian version 0.5.1-2

[helm.git] / helm / hbugs / client / .cvsignore

diff --git a/helm/hbugs/client/.cvsignore b/helm/hbugs/client/.cvsignore
index b2aeedb7d1ab2300da6373ffa424ffe264852255..405d7b0f4cd4f9d6c16a7500c6cdf9dfb0006f04 100644 (file)
--- a/helm/hbugs/client/.cvsignore
+++ b/helm/hbugs/client/.cvsignore
@@ -4,6 +4,6 @@
 *.cmx
 *.o
 *.a
-gui.ml
+hbugs_client_gui.ml
 hbugs_client
 hbugs_client.opt