chiark / gitweb /
Locally suppress a lint, with a TODO
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 4 Feb 2024 12:58:40 +0000 (12:58 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 4 Feb 2024 14:26:16 +0000 (14:26 +0000)
commit2bc8b8f4ca5dbf0341b16b039d3e4b1718510fdf
tree4bec4fbb505a2bdadca876e7abdab89bc3256eb0
parentcf9bfedfb72dc2a2af97114f070b7d6eafca7a43
Locally suppress a lint, with a TODO

I don't want to do this renaming now.
src/text.rs