X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2FmakeGraphLinks.xsl;h=4ee9dcc24f867dfe3ba12d980682095306c89b16;hb=a864255e782859e2b3b7da08297f5d3fe2ee710d;hp=45e88aa085680a3fdbc961ca0cefd120c449ea07;hpb=d8b76c102e4f540c3ecfa550267331a7a72810c2;p=helm.git
diff --git a/helm/on-line/xslt/makeGraphLinks.xsl b/helm/on-line/xslt/makeGraphLinks.xsl
index 45e88aa08..4ee9dcc24 100644
--- a/helm/on-line/xslt/makeGraphLinks.xsl
+++ b/helm/on-line/xslt/makeGraphLinks.xsl
@@ -67,10 +67,6 @@