Skip to content

Move edge labels#411

Merged
spoenemann merged 1 commit intoeclipse-sprotty:masterfrom jbicker:jbicker/labels-allow-to-move-edge-55Jan 2, 2024

Commits

Commits on Dec 21, 2023