chiark / gitweb /
clippy: Miscellaneous minor changes
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 31 Mar 2022 19:58:16 +0000 (20:58 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 31 Mar 2022 19:58:16 +0000 (20:58 +0100)
commitecb8013c5190cd6b900350bfd28758785f214c4c
tree1adf3cff5d2c1b46ef6249e1066c1dce2a02aa8c
parent4d2e73edffe40a43eca249fce56773a3e11f2ad3
clippy: Miscellaneous minor changes

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
wdriver/wdriver.rs
wdriver/wdt-bundles.rs
wdriver/wdt-simple.rs