chore: ignore generated vimdoc tags #31

Merged
barrettruth merged 1 commit from chore/gitignore-vimdoc-tags-20260505 into main 2026-05-05 17:51:57 +00:00
Owner

Changed files:

  • .gitignore: ignore generated doc/tags
  • doc/tags: remove committed generated help tags

Verification:

  • git diff --check
  • git diff --cached --check
  • vimdoc-language-server check doc/ (0 diagnostics in 0 file(s))
Changed files: - `.gitignore`: ignore generated `doc/tags` - `doc/tags`: remove committed generated help tags Verification: - `git diff --check` - `git diff --cached --check` - `vimdoc-language-server check doc/` (0 diagnostics in 0 file(s))
chore: ignore generated vimdoc tags
All checks were successful
quality / Format (pull_request) Successful in 5s
quality / Lint (pull_request) Successful in 5s
quality / Test (pull_request) Successful in 5s
4f1305d873
barrettruth deleted branch chore/gitignore-vimdoc-tags-20260505 2026-05-05 17:51:57 +00:00
Sign in to join this conversation.
No description provided.