Skip to content

convert to ruff - #178

Merged
woutdenolf merged 1 commit into
mainfrom
use_ruff
Jul 29, 2026
Merged

convert to ruff#178
woutdenolf merged 1 commit into
mainfrom
use_ruff