Metadata of <xsl:value-of select="$CICURI"/>

From: Claudio Sacerdoti Coen Date: Fri, 28 May 2004 12:19:18 +0000 (+0000) Subject: Dead code inclusion removed. X-Git-Tag: pre_subst_in_kernel~60 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=95ba1a3239f9f4416e4e7361888d1f0559f17554;p=helm.git Dead code inclusion removed. --- diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl index 5ea90215e..4e3271638 100644 --- a/helm/on-line/xslt/metadataLib.xsl +++ b/helm/on-line/xslt/metadataLib.xsl @@ -24,11 +24,6 @@ - - - - - Metadata of <xsl:value-of select="$CICURI"/>