Skip to content

various ruff SIM fixes#139

Merged
saraedum merged 2 commits intoflatsurf:masterfrom
fchapoton:varia_ruff_SIM
Sep 7, 2025
Merged

various ruff SIM fixes#139
saraedum merged 2 commits intoflatsurf:masterfrom
fchapoton:varia_ruff_SIM

Conversation

@fchapoton
Copy link
Contributor

This is all about code simplification, in minor details.

@fchapoton
Copy link
Contributor Author

good to go, @saraedum

@saraedum saraedum merged commit 81b5467 into flatsurf:master Sep 7, 2025
31 checks passed
@fchapoton fchapoton deleted the varia_ruff_SIM branch September 7, 2025 12:22
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