X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Flddl_root.xsl;h=43aa1656e4d9e5ff36854c16cc5f234d7e9a5611;hb=7bb7028a9aafcfd5c6570f4ad5ca472f19691bfc;hp=5645dc7e80a99b0f7ccad8890556420663aa2cac;hpb=2c4b4aaa6f1490346823a26cba5dd965cab0cd02;p=helm.git diff --git a/helm/www/lambdadelta/xslt/lddl_root.xsl b/helm/www/lambdadelta/xslt/lddl_root.xsl index 5645dc7e8..43aa1656e 100644 --- a/helm/www/lambdadelta/xslt/lddl_root.xsl +++ b/helm/www/lambdadelta/xslt/lddl_root.xsl @@ -23,7 +23,7 @@ > -
+