From: Claudio Sacerdoti Coen 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/?a=commitdiff_plain;h=eacd20e429a5fa2d23c258bed7920cf194dc1882;p=helm.git 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