Skip to content

Use ruff for linting#1257

Merged
manthey merged 2 commits intomasterfrom ruffAug 10, 2023

Commits

Commits on Aug 10, 2023