Skip to content

Rename language server ID to "settings-sync"#25

Merged
vittorius merged 4 commits intomainfrom
rename-language-server
Jan 20, 2026
Merged

Rename language server ID to "settings-sync"#25
vittorius merged 4 commits intomainfrom
rename-language-server

Commits