Skip to content

Make clippy pedantic and add more rustc lints#84

Merged
ia0 merged 2 commits intomasterfrom lintOct 9, 2023

Commits

Commits on Oct 9, 2023