chiark / gitweb /
rename managementscope::server
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 26 Jul 2020 21:50:22 +0000 (22:50 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 26 Jul 2020 21:50:22 +0000 (22:50 +0100)
commitd713072b6a2d7b3a68897bb9e757385997d14288
tree056873361db9d7b95648d3c7abdedf42207ed509
parent798a3e7eaa170a08bf907966c89f1cda75e75648
rename managementscope::server
src/cmdlistener.rs
src/global.rs