diff options
-rw-r--r-- | play.js | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -812,7 +812,7 @@ function on_log(text) { p.className = "h3" } - text = text.replace(/\*/g, "") + text = text.replace(/([a-zA-Z])\*/g, "") p.innerHTML = text return p } |