Skip to content

Fix clippy lints#1

Merged
mlodato517 merged 1 commit intomainfrom
mlodato517-fix-clippy-lints
May 6, 2022
Merged

Fix `clippy` lints#1
mlodato517 merged 1 commit intomainfrom
mlodato517-fix-clippy-lints

Commits

Commits on May 6, 2022