Skip to content

Lint overhaul (pylint to ruff)#1

Merged
eginhard merged 22 commits intodevfrom lint-overhaulMar 6, 2024

Commits

Commits on Dec 13, 2023

Commits on Mar 6, 2024