From a549d5de0305140108e631654af621da1a3637c4 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 12 Feb 2004 22:07:05 +0000
Subject: [PATCH] patched for *.cmx

---
 helm/ocaml/registry/.cvsignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/helm/ocaml/registry/.cvsignore b/helm/ocaml/registry/.cvsignore
index fbe20a217..702419146 100644
--- a/helm/ocaml/registry/.cvsignore
+++ b/helm/ocaml/registry/.cvsignore
@@ -4,3 +4,4 @@
 *.cmo
 *.cmxa
 *.o
+*.cmx
-- 
2.39.2