chiark / gitweb /
Fix game saving
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 Sep 2020 00:19:55 +0000 (01:19 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 Sep 2020 00:19:55 +0000 (01:19 +0100)
commitedcd7ad936d578b33ff838bfc260f4467f79c657
tree4113df25136a59bd1c2d8f82c31081ddade6e3ca
parentbc76e32f5e40a25667c0555c6cc5bd35b2b31a0f
Fix game saving

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/cmdlistener.rs
src/global.rs
src/updates.rs