Skip to content

vscode: fix preceding comment spelling - #2016

Open
zjuzhongwen wants to merge 1 commit into
quint-co:mainfrom
zjuzhongwen:pr-prep-20260825
Open

zjuzhongwen wants to merge 1 commit into
quint-co:mainfrom
zjuzhongwen:pr-prep-20260825

Conversation

@zjuzhongwen

@zjuzhongwen zjuzhongwen commented Aug 26, 2026

Copy link
Copy Markdown
  • I have read and I understand the Note on AI-assisted contributions
  • Changes manually tested locally and confirmed to work as described
    (including screenshots is helpful)
  • Tests added for any new code
  • Documentation added for any new functionality
  • Entries added to the respective CHANGELOG.md for any new functionality

Correct preceeding to preceding in the language server's document-change commentary. This is a documentation-only source comment correction.

Signed-off-by: zjuzhongwen <zjuzhongwen@outlook.com>
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.

1 participant