From eacd20e429a5fa2d23c258bed7920cf194dc1882 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen 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