Skip to content

Update Language Server mention and update related links - #618

Merged
redcatbear merged 2 commits into
mainfrom
documentation/improve-editor-support-docs
Oct 2, 2026
Merged

redcatbear merged 2 commits into
mainfrom
documentation/improve-editor-support-docs

Conversation

@redcatbear

Copy link
Copy Markdown
Collaborator

No template was provided for the description.

@sonarqubecloud

sonarqubecloud Bot commented Oct 1, 2026

Copy link
Copy Markdown

@redcatbear
redcatbear merged commit c776c2f into main Oct 2, 2026
14 checks passed
@redcatbear
redcatbear deleted the documentation/improve-editor-support-docs branch October 2, 2026 12:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

Status: ✅ Closed

Development

Successfully merging this pull request may close these issues.

2 participants