Skip to content

Apply more ruff rules#251

Merged
jnothman merged 2 commits intomasterfrom more-ruffDec 28, 2023

Commits

Commits on Dec 28, 2023