chiark / gitweb /
cli: --super option
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 18 Nov 2020 21:06:40 +0000 (21:06 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 18 Nov 2020 21:06:40 +0000 (21:06 +0000)
commit81e8f8a75fbe31ef8f658084165fd14241373aec
tree9f7362712c3cb21ef0f465f21b8f81699d735921
parent83918fdece6621d79ade0553c6974a0ec96d3ecf
cli: --super option

This reverts commit e212270ec6423f2c11574d70cac0f09ec3873c70.
src/bin/otter.rs