about summary refs log tree commit diff stats
path: root/html/factorial.mu.html
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-10-09 00:20:43 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-10-09 00:20:43 -0700
commitceeb92d470c29613f6a036f9c2077126ecc09b47 (patch)
treeb7f5606a008adbf7731fc457af26d025604f72a0 /html/factorial.mu.html
parent71056d6150d2b09241a86cbdf37086265291a358 (diff)
downloadmu-ceeb92d470c29613f6a036f9c2077126ecc09b47.tar.gz
3490
Redo commit 3457.

Basically there were 3 unicode characters we changed back then:
  solid horizontal line: 9473 -> 9472
  fuzzy horizontal line: 9480 -> 9548
  fuzzy vertical line: 9482 -> 9550

The solid horizontal line has no issues, so we just redo it here.
For the other two, we'll perform the substitution only when rendering
html. That gives us the best of both worlds: the scenario screens render
right in html, and alt-tabbing continues to be snappy when running the
edit/ app.
Diffstat (limited to 'html/factorial.mu.html')
0 files changed, 0 insertions, 0 deletions