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