Skip to content

Switch to pre-commit.ci#71

Merged
dcherian merged 1 commit intomainfrom dcherian-patch-1Feb 4, 2022

Commits

Commits on Feb 2, 2022