From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 26 Apr 2002 13:54:49 +0000 (+0000)
Subject: gdome_xslt ==> gdome2-xslt
X-Git-Tag: V_0_3_0_debian_8~122
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=eacd20e429a5fa2d23c258bed7920cf194dc1882

gdome_xslt ==> gdome2-xslt
---

diff --git a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.cvsignore b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.cvsignore
index 5b31626e4..8d8b4152c 100644
--- a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.cvsignore
+++ b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.cvsignore
@@ -4,11 +4,11 @@ config.cache
 config.log
 config.status
 configure
-gdome_xslt.cma
+gdome2-xslt.cma
 gdome_xslt.cmi
 gdome_xslt.cmo
 gdome_xslt.cmx
-gdome_xslt.cmxa
+gdome2-xslt.cmxa
 gdome_xslt.o
 gdome_xslt_init.cmi
 gdome_xslt_init.cmo