chiark / gitweb /
otter cli: Make ordinary_subcommand handle SubcommandProperties
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 2 Jun 2021 00:12:38 +0000 (01:12 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 2 Jun 2021 00:30:25 +0000 (01:30 +0100)
commit9a72e98322894eb2e9bf889c65bd8fa07d662145
tree059eaa78fb42407d82acd9e80b71c589f17a2a23
parentf748d65d726d98a27b7649d1b98df249d02f9068
otter cli: Make ordinary_subcommand handle SubcommandProperties

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