Fix random case flipping of an HTML source line

Introduced in a586874
This commit is contained in:
Olly Betts 2015-03-16 18:02:03 +13:00
commit 0193c98608

View file

@ -891,7 +891,7 @@ void spam(short);
<p> <p>
or or
</p> </p>
<DIV CLASS="CODE"><PRE>VOID FOO(bAR *B); <div class="code"><pre>void foo(Bar *b);
void foo(Bar &amp;b); void foo(Bar &amp;b);
</pre></div> </pre></div>
<p> <p>