diff options
Diffstat (limited to 'html-test')
-rw-r--r-- | html-test/ref/Bug310.html | 4 | ||||
-rw-r--r-- | html-test/ref/Bug548.html | 8 |
2 files changed, 6 insertions, 6 deletions
diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html index e8ce24f8..47da5387 100644 --- a/html-test/ref/Bug310.html +++ b/html-test/ref/Bug310.html @@ -89,7 +89,7 @@ >Addition of type-level naturals.</p ><p ><em - >Since: 4.7.0.0</em + >Since: base-4.7.0.0</em ></p ></div ></div @@ -99,4 +99,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html index 29216433..b32f8c8c 100644 --- a/html-test/ref/Bug548.html +++ b/html-test/ref/Bug548.html @@ -183,7 +183,7 @@ ><td class="doc" ><p ><em - >Since: 2.1</em + >Since: base-2.1</em ></p ></td ></tr @@ -239,7 +239,7 @@ ><td class="doc" ><p ><em - >Since: 2.1</em + >Since: base-2.1</em ></p ></td ></tr @@ -333,7 +333,7 @@ ><td class="doc" ><p ><em - >Since: 2.1</em + >Since: base-2.1</em ></p ></td ></tr @@ -611,4 +611,4 @@ ></div ></body ></html ->
\ No newline at end of file +> |