Skip to content

Use Ruff#315

Merged
ewjoachim merged 4 commits intomainfrom ruffDec 16, 2023