Skip to content

Switch to ruff#5

Merged
unexcellent merged 5 commits intomainfrom switch-to-ruffOct 28, 2024