chiark / gitweb /
cmdlistener: Rename start_access_game
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 15 May 2021 17:37:32 +0000 (18:37 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 15 May 2021 17:56:06 +0000 (18:56 +0100)
commit3dd5f458b02671fa46493b9ca1a383994f779a8a
treeb7f81cad66e5c14741dd7f1660a30a6c8ac1e6ea
parent74041cb94869ece7f19741502553036192f36989
cmdlistener: Rename start_access_game

This is not just for modifying.

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