chiark / gitweb /
Miscellaneous cleanups prompted by clippy
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 1 May 2022 10:34:58 +0000 (11:34 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 1 May 2022 10:37:13 +0000 (11:37 +0100)
commitef391ce50624bdfe219c10642441eb2fcad14ae7
tree39be3d77bb854c09be44b5d60c1027aae3183c6b
parent90f922cecf094dc5186fc1fe74a2a2d8d9c9fb10
Miscellaneous cleanups prompted by clippy

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
base/geometry.rs
clippy-options
src/bin/otterlib.rs
src/dice.rs
src/shapelib.rs