diff options
Diffstat (limited to 'html-test/ref/BugExportHeadings.html')
| -rw-r--r-- | html-test/ref/BugExportHeadings.html | 24 | 
1 files changed, 18 insertions, 6 deletions
| diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html index 970f8200..e8fd6fa6 100644 --- a/html-test/ref/BugExportHeadings.html +++ b/html-test/ref/BugExportHeadings.html @@ -119,40 +119,48 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings  	>Foo</h1  	><div class="top"  	><p class="src" -	  ><a href="#" id="v:foo" class="def" +	  ><a id="v:foo" class="def"  	    >foo</a  	    > :: <a href="#"  	    >Int</a +	    > <a href="#" class="selflink" +	    >#</a  	    ></p  	  ></div  	><h1 id="g:2"  	>Bar</h1  	><div class="top"  	><p class="src" -	  ><a href="#" id="v:bar" class="def" +	  ><a id="v:bar" class="def"  	    >bar</a  	    > :: <a href="#"  	    >Int</a +	    > <a href="#" class="selflink" +	    >#</a  	    ></p  	  ></div  	><h1 id="g:3"  	>Baz</h1  	><div class="top"  	><p class="src" -	  ><a href="#" id="v:baz" class="def" +	  ><a id="v:baz" class="def"  	    >baz</a  	    > :: <a href="#"  	    >Int</a +	    > <a href="#" class="selflink" +	    >#</a  	    ></p  	  ></div  	><h1 id="g:4"  	>One</h1  	><div class="top"  	><p class="src" -	  ><a href="#" id="v:one" class="def" +	  ><a id="v:one" class="def"  	    >one</a  	    > :: <a href="#"  	    >Int</a +	    > <a href="#" class="selflink" +	    >#</a  	    ></p  	  ><div class="doc"  	  ><div class="warning" @@ -165,10 +173,12 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings  	>Two</h1  	><div class="top"  	><p class="src" -	  ><a href="#" id="v:two" class="def" +	  ><a id="v:two" class="def"  	    >two</a  	    > :: <a href="#"  	    >Int</a +	    > <a href="#" class="selflink" +	    >#</a  	    ></p  	  ><div class="doc"  	  ><div class="warning" @@ -181,10 +191,12 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings  	>Three</h1  	><div class="top"  	><p class="src" -	  ><a href="#" id="v:three" class="def" +	  ><a id="v:three" class="def"  	    >three</a  	    > :: <a href="#"  	    >Int</a +	    > <a href="#" class="selflink" +	    >#</a  	    ></p  	  ><div class="doc"  	  ><div class="warning" | 
