chiark / gitweb /
move MgmtChannel::connect to mgmtchannel.rs
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 28 Dec 2020 17:52:42 +0000 (17:52 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 28 Dec 2020 17:52:42 +0000 (17:52 +0000)
commit7312174329aa8d7d690cb77a42626728114b34a9
treea42788ec2bb930209d8378ea6c9ff492debed3cd
parent389188e532e6071b62c98269c4590694afcf618c
move MgmtChannel::connect to mgmtchannel.rs

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