diff options
| author | Tor Andersson <tor@ccxvii.net> | 2023-11-03 01:27:14 +0100 |
|---|---|---|
| committer | Tor Andersson <tor@ccxvii.net> | 2023-11-03 02:38:42 +0100 |
| commit | a7b1d3610557aededbcfec2917e8b05b6db8bc13 (patch) | |
| tree | 6009b8dce473c2bab22d6e56892ccd186a08fc61 /play.js | |
| parent | 0f54e9bff6a7fa1900aa6988965cb17abdd26521 (diff) | |
| download | algeria-a7b1d3610557aededbcfec2917e8b05b6db8bc13.tar.gz | |
Summarize deployment and reinforcements.
Diffstat (limited to 'play.js')
| -rw-r--r-- | play.js | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -1026,9 +1026,6 @@ function on_log(text) { // eslint-disable-line no-unused-vars else if (text.match(/^\.h3/)) { text = text.substring(4) p.className = 'h3' - } else if (text.match(/^.hr$/)) { - p.className = "hr"; - text = ""; } p.innerHTML = text |