Skip to content

fix: ignore autogenerated helptags#5

Merged
hat0uma merged 1 commit intohat0uma:mainfrom
DrKJeff16:fix-gitignore
Sep 3, 2025
Merged

fix: ignore autogenerated helptags#5
hat0uma merged 1 commit intohat0uma:mainfrom
DrKJeff16:fix-gitignore

Conversation

@DrKJeff16
Copy link
Contributor

Changes

Added /doc/tags to .gitignore since git status complains.

Signed-off-by: Guennadi Maximov C <g.maxc.fox@protonmail.com>
@hat0uma hat0uma merged commit ff2b59d into hat0uma:main Sep 3, 2025
3 checks passed
@hat0uma
Copy link
Owner

hat0uma commented Sep 3, 2025

Many thanks!

@DrKJeff16 DrKJeff16 deleted the fix-gitignore branch September 3, 2025 23:58
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.

2 participants