Skip to content

fixing ruff SIM103#138

Merged
saraedum merged 3 commits intoflatsurf:masterfrom
fchapoton:ruff_SIM103
Sep 3, 2025
Merged

fixing ruff SIM103#138
saraedum merged 3 commits intoflatsurf:masterfrom
fchapoton:ruff_SIM103

Conversation

@fchapoton
Copy link
Contributor

just a few minor simplifications

@fchapoton
Copy link
Contributor Author

good to go @saraedum

@saraedum saraedum merged commit 1935039 into flatsurf:master Sep 3, 2025
31 checks passed
@fchapoton fchapoton deleted the ruff_SIM103 branch September 4, 2025 06:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants