From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 12 Feb 2004 22:07:05 +0000 (+0000)
Subject: patched for *.cmx
X-Git-Tag: V_0_3_0~3
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a549d5de0305140108e631654af621da1a3637c4;p=helm.git

patched for *.cmx
---

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