chiark / gitweb /
Rename/refactor MgmtChannelForGame
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 27 Feb 2021 18:51:12 +0000 (18:51 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 27 Feb 2021 18:51:12 +0000 (18:51 +0000)
commitb331af651563127d5d388b21f087613b29312b37
treeeb646429b426076b1acd340d78b000eb5753b789
parentf661da045b12b6c78dc878749dc6917d9fa2fa91
Rename/refactor MgmtChannelForGame

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/bin/otter.rs
src/mgmtchannel.rs