chiark / gitweb /
rename to cmdlistener
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 21 Jul 2020 23:34:36 +0000 (00:34 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 21 Jul 2020 23:34:36 +0000 (00:34 +0100)
commit83977b3dd56f69e7e0c64b28b3413384d72d5b37
treef6d0bc36386ed39d07da32ec275cba95740c8cde
parent7b56b91ffecb3efa85b5fd13661b827266fbaafa
rename to cmdlistener
src/cmdlistener.rs [moved from src/command.rs with 100% similarity]
src/imports.rs
src/lib.rs