diff options
| -rw-r--r-- | html-test/ref/Bug458.html | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/html-test/ref/Bug458.html b/html-test/ref/Bug458.html index aa99e719..1a174f94 100644 --- a/html-test/ref/Bug458.html +++ b/html-test/ref/Bug458.html @@ -63,11 +63,7 @@ ><div class="doc" ><p >See the defn of <code - ><code - ><a href="#" - >⊆</a - ></code - ></code + >'⊆'</code >.</p ></div ></div |