Closed NiklasRentzCAU closed 2 months ago
Update server-side Sprotty dependency in line with the update to Sprotty 1.3.0 in kieler/klighd-vscode#191
Update server-side Sprotty dependency in line with the update to Sprotty 1.3.0 in kieler/klighd-vscode#191