chiark / gitweb /
move cmd into mgmtchannel
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 28 Dec 2020 17:58:08 +0000 (17:58 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 28 Dec 2020 17:58:08 +0000 (17:58 +0000)
commit7e8a9e789f65a225dcf29659b86f8f4cb3378f0d
tree2263ca0a34105fd5adbaffe68bcbd60e043a3a8c
parent7312174329aa8d7d690cb77a42626728114b34a9
move cmd into mgmtchannel

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