diff options
Diffstat (limited to 'html-test/ref/GADTRecords.html')
| -rw-r--r-- | html-test/ref/GADTRecords.html | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html index a461e075..63297c37 100644 --- a/html-test/ref/GADTRecords.html +++ b/html-test/ref/GADTRecords.html @@ -117,8 +117,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_GADTRecords.html");}; ></p ><div class="doc" ><p - >h1 -</p + >h1</p ></div ><div class="subs constructors" ><p class="caption" @@ -176,8 +175,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_GADTRecords.html");}; ></dt ><dd class="doc" ><p - >hello docs -</p + >hello docs</p ></dd ></dl ><div class="clear" @@ -209,8 +207,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_GADTRecords.html");}; > :: a</dt ><dd class="doc" ><p - >hello2 docs -</p + >hello2 docs</p ></dd ></dl ><div class="clear" |