Skip to content

Add pip artifacts to gitignore - #43

Merged
saraedum merged 1 commit into
flatsurf:masterfrom
saraedum:ignore
Nov 29, 2025
Merged

saraedum merged 1 commit into
flatsurf:masterfrom
saraedum:ignore

Conversation

@saraedum

Copy link
Copy Markdown
Member

No description provided.

@saraedum
saraedum enabled auto-merge November 29, 2025 11:09
@saraedum
saraedum merged commit 0632c53 into flatsurf:master Nov 29, 2025
10 checks passed
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.

1 participant