diff options
Diffstat (limited to 'html-test/ref/DeprecatedReExport.html')
| -rw-r--r-- | html-test/ref/DeprecatedReExport.html | 4 | 
1 files changed, 3 insertions, 1 deletions
| diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html index 4279ef80..595ae4ca 100644 --- a/html-test/ref/DeprecatedReExport.html +++ b/html-test/ref/DeprecatedReExport.html @@ -85,10 +85,12 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedReExpor  	>Re-exported from an other module</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 class="doc"  	  ><div class="warning" | 
