]> matita.cs.unibo.it Git - helm.git/commitdiff
Comment removed because XSLT removed the "end-of-line" after it, making it
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 25 Jun 2001 10:03:34 +0000 (10:03 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 25 Jun 2001 10:03:34 +0000 (10:03 +0000)
extends too much, commenting out the following lines. ;-(

helm/on-line/xslt/ls2html.xsl

index 98f8fd17a02c51750bda1df4ee8870ce2c67ad86..a7d27e996128ba943ac57c1ef87ad1202da520bb 100644 (file)
@@ -71,7 +71,6 @@
          '&amp;param.target={$target}' +
          '&amp;param.interfaceURL={$interfaceURL}';
         var pathname = this.pathname;
-        // Next if to cope with IE idiosyncrasies
         if (pathname.charAt(0) != '/')
          pathname = '/' + pathname;
         this.href=