From eacd20e429a5fa2d23c258bed7920cf194dc1882 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 26 Apr 2002 13:54:49 +0000
Subject: [PATCH] gdome_xslt ==> gdome2-xslt

---
 helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.cvsignore | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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
-- 
2.39.2