Closed NiklasRentzCAU closed 10 months ago
As the update to Sprotty 0.13 did cause some problems, at least update to 0.12 for now. This includes all necessary changes for that update branched from the first changes of the 0.13 branch.
As the update to Sprotty 0.13 did cause some problems, at least update to 0.12 for now. This includes all necessary changes for that update branched from the first changes of the 0.13 branch.