search

DEIS-Tools / H-Uppaal

MIT License
8 stars 3 forks source link

Draggable edges #14

Closed Nielswps closed 4 years ago

Nielswps commented 4 years ago

Edges can be dragged to change both source and target