From: Claudio Sacerdoti Coen
Date: Thu, 25 Oct 2001 09:45:52 +0000 (+0000)
Subject: Oooops. I have exchanged the targets of the links to the graphs of
X-Git-Tag: v0_1_3~43
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=120d139d6f8743ab2ab8a80d0b52247fe917b50b;p=helm.git
Oooops. I have exchanged the targets of the links to the graphs of
forward and backward dependencies. Fixed.
---
diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl
index 900797e5f..7dbd5fd63 100644
--- a/helm/on-line/xslt/metadataLib.xsl
+++ b/helm/on-line/xslt/metadataLib.xsl
@@ -55,7 +55,7 @@
@@ -74,7 +74,7 @@