chiark / gitweb /
clippy: Miscellaneous minor changes
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 31 Mar 2022 01:31:04 +0000 (02:31 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 31 Mar 2022 01:31:04 +0000 (02:31 +0100)
commit1da484a7a7d5bd826fb3eb072f3ad0945c047c71
tree5cd586f86d247bf7d981aebfda2bd6c227b50b6f
parentf1cde1493e124658bf90c03266f31fbdb5d7fed0
clippy: Miscellaneous minor changes

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