Skip to content

Migrate text- and workspace- edit operation protocol to the generated protocol#2060

Merged
mkondratek merged 1 commit intomainfrom mkondratek/chore/use-generated-protocol-for-inline-editsAug 19, 2024
+33-92

Commits