chiark / gitweb /
clippy: Miscellaneous minor changes
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 31 Mar 2022 01:17:03 +0000 (02:17 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 31 Mar 2022 01:17:03 +0000 (02:17 +0100)
commit2100d435948047f0e3e06d2346d378e4d49b4b1e
treea4121aa734f9d55e19b6610ceda4d27846bf015c
parent4859108951ae05a7a02f80693e6cebf591301fea
clippy: Miscellaneous minor changes

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