chiark / gitweb /
cli: fix an ident
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 18 Nov 2020 21:07:45 +0000 (21:07 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 18 Nov 2020 21:07:45 +0000 (21:07 +0000)
commit10d0d0dea1552ce7f8f947a06a48763728800b69
treeb762dd8a2c1f4214c63a902a4a7a11bb98577a34
parent81e8f8a75fbe31ef8f658084165fd14241373aec
cli: fix an ident

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