]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/xslt/ls2html.xsl
Comment removed because XSLT removed the "end-of-line" after it, making it
[helm.git] / helm / on-line / xslt / ls2html.xsl
index 98f8fd17a02c51750bda1df4ee8870ce2c67ad86..a7d27e996128ba943ac57c1ef87ad1202da520bb 100644 (file)
@@ -71,7 +71,6 @@
          '&param.target={$target}' +
          '&param.interfaceURL={$interfaceURL}';
         var pathname = this.pathname;
-        // Next if to cope with IE idiosyncrasies
         if (pathname.charAt(0) != '/')
          pathname = '/' + pathname;
         this.href=