chiark / gitweb /
cmdlistener: Introduce start_modify_game
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 15 May 2021 14:37:11 +0000 (15:37 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 15 May 2021 14:37:11 +0000 (15:37 +0100)
commit30295b08911ad1a334f200aa0d32c484c6d20914
tree597ce1ef80537f45b543e11b4146979bf067f178
parent8a225671ce01dd59e9d6679782a63597d05677e2
cmdlistener: Introduce start_modify_game

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