Skip to content
This repository was archived by the owner on Nov 10, 2025. It is now read-only.

.gitignore: remove irrelevant entries#5

Open
erentar wants to merge 1 commit into
muzkr:mainfrom
erentar:gitignore
Open

.gitignore: remove irrelevant entries#5
erentar wants to merge 1 commit into
muzkr:mainfrom
erentar:gitignore

Conversation

@erentar

@erentar erentar commented Oct 12, 2025

Copy link
Copy Markdown
Contributor

seems this file was a template? a lot of it was unneeded for a c project
if i've removed something important without noticing, im sorry, i will add it back
i looked as carefully as i could

@muzkr

muzkr commented Oct 12, 2025

Copy link
Copy Markdown
Owner

May we do this later?

@erentar

erentar commented Oct 12, 2025

Copy link
Copy Markdown
Contributor Author

yeah of course, it is not a priority, just a minor cleanup

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants