diff options
Diffstat (limited to 'html-test/ref/GADTRecords.html')
| -rw-r--r-- | html-test/ref/GADTRecords.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html index 918ec32e..5fd2fa84 100644 --- a/html-test/ref/GADTRecords.html +++ b/html-test/ref/GADTRecords.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -223,4 +223,4 @@ ></div ></body ></html ->
\ No newline at end of file +> |