Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Modify gitignore #379

Merged
merged 1 commit into from
Aug 23, 2023
Merged

Modify gitignore #379

merged 1 commit into from
Aug 23, 2023

Conversation

PhilippeMoussalli
Copy link
Contributor

No description provided.

@RobbeSneyders RobbeSneyders merged commit 828c8ab into main Aug 23, 2023
5 checks passed
@RobbeSneyders RobbeSneyders deleted the update-gitignore branch August 23, 2023 09:21
Hakimovich99 pushed a commit that referenced this pull request Oct 16, 2023
@PhilippeMoussalli
Modify gitignore (#379)
96e07a8
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@RobbeSneyders RobbeSneyders RobbeSneyders approved these changes

@GeorgesLorre GeorgesLorre Awaiting requested review from GeorgesLorre

@NielsRogge NielsRogge Awaiting requested review from NielsRogge

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@PhilippeMoussalli @RobbeSneyders