Skip to content

Add gitignore - #6

Merged
alessandrofelder merged 1 commit into
mainfrom
gitignore
Jul 28, 2026
Merged

Add gitignore#6
alessandrofelder merged 1 commit into
mainfrom
gitignore

Conversation

@lauraporta

@lauraporta lauraporta commented Jul 15, 2026

Copy link
Copy Markdown
Member

Added basic gitignore

@lauraporta lauraporta linked an issue Jul 15, 2026 that may be closed by this pull request

@alessandrofelder alessandrofelder left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice - thanks!

@alessandrofelder
alessandrofelder merged commit 1b3f500 into main Jul 28, 2026
2 checks passed
@alessandrofelder
alessandrofelder deleted the gitignore branch July 28, 2026 14:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

docs/build/ is not gitignored

2 participants