chiark / gitweb /
changelog: document further make-release changes
[otter.git] / clippy-options
2022-05-16 Ian Jacksonclippy: Misc minor improvements
2022-05-01 Ian JacksonMiscellaneous cleanups prompted by clippy
2022-03-31 Ian Jacksonclippy: Miscellaneous minor changes, and allow lints
2022-03-31 Ian Jacksonclippy: Miscellaneous minor changes, and allow lints
2022-03-31 Ian Jacksonclippy: Miscellaneous minor changes, and allow lints
2022-03-31 Ian Jacksonclippy: Miscellaneous minor changes, and allow lints
2022-03-31 Ian Jacksonclippy: Miscellaneous minor changes, and allow lints
2022-03-31 Ian Jacksonclippy: Miscellaneous minor changes, and allow lints
2022-03-31 Ian Jacksonclippy: Miscellaneous minor changes, and allow lints
2022-03-31 Ian Jacksonclippy: Miscellaneous minor changes, and allow lints
2022-03-31 Ian Jacksonclippy: Miscellaneous minor changes, and allow lints
2022-03-31 Ian Jacksonclippy: Miscellaneous minor changes
2022-03-31 Ian Jacksonclippy: Miscellaneous minor changes
2022-03-31 Ian Jacksonclippy: Suppress a buggy lint
2022-03-31 Ian Jacksonclippy: Miscellaneous minor changes
2022-03-31 Ian Jacksonclippy: Prefer .len() > 0 to ! .is_empty()
2022-03-31 Ian Jacksonclippy: Miscellaneous minor changes, and allow lints
2022-03-31 Ian Jacksonclippy: Miscellaneous minor changes, and allow lints
2022-03-31 Ian Jacksonclippy: Miscellaneous minor changes, and allow lints
2022-03-31 Ian Jacksonclippy: Miscellaneous minor changes, and allow lints
2022-03-31 Ian Jacksonclippy: Miscellaneous minor changes
2022-03-30 Ian Jacksonclippy: allow some lints
2022-03-30 Ian Jacksonclippy: allow some lints
2022-03-30 Ian Jacksonclippy: wip machinery, and transfer the one allowed...