chiark / gitweb /
better handling for leave game
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 29 Nov 2020 20:00:24 +0000 (20:00 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 29 Nov 2020 20:00:24 +0000 (20:00 +0000)
commitdcc9f3eaa3a952bf75e16002918e349b4c5c05ca
treeee3988b5500694ba6406f90aeb00e6911a8db91f
parent78e504c11a1e03e37255486fe7680d7cde463b5c
better handling for leave game

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
templates/script.ts