Skip to content

chore: Adopt ruff, and much more comprehensive linting rules.#84

Merged
DanCardin merged 1 commit intomainfrom dc/ruffMay 23, 2023

Commits

Commits on May 23, 2023