diff options
Diffstat (limited to 'play.js')
-rw-r--r-- | play.js | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -51,7 +51,7 @@ let ui = { present: new Set(), } -create_log_entry = function (text) { +function on_log(text) { let p = document.createElement("div"); text = text.replace(/&/g, "&"); text = text.replace(/</g, "<"); |