Skip to content
This repository was archived by the owner on Mar 24, 2022. It is now read-only.

Make clippy a little bit happier#681

Open
jedisct1 wants to merge 1 commit intomainfrom
fdenis/happy-clippy
Open

Make clippy a little bit happier#681
jedisct1 wants to merge 1 commit intomainfrom
fdenis/happy-clippy

Commits

Commits on Oct 22, 2021