Skip to content

vscode: fix preceding comment spelling - #2023

Open
vividvisit wants to merge 1 commit into
quint-co:mainfrom
vividvisit:my_feature_vivid
Open

vividvisit wants to merge 1 commit into
quint-co:mainfrom
vividvisit:my_feature_vivid

Conversation

@vividvisit

@vividvisit vividvisit commented Sep 11, 2026

Copy link
Copy Markdown

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

  • 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

Signed-off-by: vividvisit <vividvisit@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