diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-09 00:20:43 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-09 00:20:43 -0700 |
| commit | ceeb92d470c29613f6a036f9c2077126ecc09b47 (patch) | |
| tree | b7f5606a008adbf7731fc457af26d025604f72a0 /html/factorial.mu.html | |
| parent | 71056d6150d2b09241a86cbdf37086265291a358 (diff) | |
| download | mu-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