chiark / gitweb /
Game updates: Make reset_game from clear_game
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 13 May 2021 09:04:29 +0000 (10:04 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 13 May 2021 09:08:10 +0000 (10:08 +0100)
commit677547bdd532a23d7280344e02cf0d280fea6cb1
tree1fbcee795560f994bca078e23cc78858bea55c1a
parentc2784b7add6d24c8ca597736eb9ef4ea85516116
Game updates: Make reset_game from clear_game

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