Closed NicolasRouquette closed 3 years ago
This PR is intended to go with the PRs for oml-sprotty and oml-vscode
oml-sprotty
oml-vscode
This is a dead-end.
This PR is intended to go with the PRs for
oml-sprotty
andoml-vscode