chiark / gitweb /
Merge Ian's fixes to satisfy and/or silence Clippy.
authorSimon Tatham <anakin@pobox.com>
Sun, 4 Feb 2024 18:45:54 +0000 (18:45 +0000)
committerSimon Tatham <anakin@pobox.com>
Sun, 4 Feb 2024 18:45:54 +0000 (18:45 +0000)
The net effect of this branch is that 'cargo clippy' has no remaining
complaints.

1  2 
src/client.rs
src/coloured_string.rs
src/text.rs

diff --cc src/client.rs
Simple merge
Simple merge
diff --cc src/text.rs
Simple merge