diff options
Diffstat (limited to 'play.js')
-rw-r--r-- | play.js | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -998,10 +998,6 @@ function sub_icon(match) { return ICONS[match] || match } -function wrap_icons(match) { - return `<span class="marginalia">${match.replace("(", "").replace(")", "")}</span>` -} - const ICONS = { '->': '\u2192', '.dT5': '<span class="number d_tst">5</span>', |