chiark / gitweb /
clippy: Miscellaneous minor changes, and allow lints
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 31 Mar 2022 02:00:56 +0000 (03:00 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 31 Mar 2022 02:00:56 +0000 (03:00 +0100)
commit5c2a84946daf01300d4b59736e6601c95a3f0afc
tree163655ac0d4aeaf68e878f00f3e48a5bb15c48d0
parent8a9a9e45b3d15aae943d95775ec111a465a101a1
clippy: Miscellaneous minor changes, and allow lints

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