chiark / gitweb /
clippy: Miscellaneous minor changes, and allow lints
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 31 Mar 2022 00:21:24 +0000 (01:21 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 31 Mar 2022 00:23:10 +0000 (01:23 +0100)
commit58dfc1d7c674fe56bc84c2e4ae5314ca8b5945f5
tree250ffb065f51ca84b9de478c148e29f700da211d
parent09fa8e17351a881d7e3f9c5f7f38d2693995cfdb
clippy: Miscellaneous minor changes, and allow lints

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
clippy-options
src/config.rs