Skip to content

docs: usage: add note about support for ignore comments#191

Merged
woodruffw merged 1 commit into
mainfrom
ww/doc-note
Nov 23, 2024
Merged

docs: usage: add note about support for ignore comments#191
woodruffw merged 1 commit into
mainfrom
ww/doc-note

Conversation

@woodruffw

Copy link
Copy Markdown
Member

No description provided.

@woodruffw woodruffw added the documentation Improvements or additions to documentation label Nov 23, 2024
@woodruffw woodruffw enabled auto-merge (squash) November 23, 2024 23:27
@woodruffw woodruffw merged commit 423fe7c into main Nov 23, 2024
@woodruffw woodruffw deleted the ww/doc-note branch November 23, 2024 23:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant