diff options
author | Dr. ERDI Gergo <gergo@erdi.hu> | 2014-01-31 00:15:01 +0800 |
---|---|---|
committer | Dr. ERDI Gergo <gergo@erdi.hu> | 2014-01-31 00:15:01 +0800 |
commit | cf73b006faf95512b28c744ecfbdf47c044acb67 (patch) | |
tree | c6d96928457fbc2b0b7bcf3c0821154902b30ba0 /html-test/ref/DeprecatedNewtype.html | |
parent | 96838d249070e1ab55641b6816360a3e6bc909fa (diff) |
<+>: Don't insert a space when concatenating empty nodes
Diffstat (limited to 'html-test/ref/DeprecatedNewtype.html')
-rw-r--r-- | html-test/ref/DeprecatedNewtype.html | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/html-test/ref/DeprecatedNewtype.html b/html-test/ref/DeprecatedNewtype.html index 4a8024b4..cffea22c 100644 --- a/html-test/ref/DeprecatedNewtype.html +++ b/html-test/ref/DeprecatedNewtype.html @@ -48,9 +48,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedNewtype.html ><li class="src short" ><span class="keyword" >newtype</span - > <a href="" + > <a href="" >SomeNewType</a - > = <a href="" + > = <a href="" >SomeNewTypeConst</a > <a href="" >String</a @@ -58,9 +58,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedNewtype.html ><li class="src short" ><span class="keyword" >newtype</span - > <a href="" + > <a href="" >SomeOtherNewType</a - > = <a href="" + > = <a href="" >SomeOtherNewTypeConst</a > <a href="" >String</a @@ -74,9 +74,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedNewtype.html ><p class="src" ><span class="keyword" >newtype</span - > <a name="t:SomeNewType" class="def" + > <a name="t:SomeNewType" class="def" >SomeNewType</a - > </p + ></p ><div class="doc" ><div class="warning" ><p @@ -112,9 +112,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedNewtype.html ><p class="src" ><span class="keyword" >newtype</span - > <a name="t:SomeOtherNewType" class="def" + > <a name="t:SomeOtherNewType" class="def" >SomeOtherNewType</a - > </p + ></p ><div class="doc" ><div class="warning" ><p |