Skip to content

GitLab

add titledPane for transitions, places, events and dependencies

1 job for !69 with titledPan in 3 minutes and 40 seconds (queued for 1 second)
merge request
93e2780b
1 related merge request: !69 add titledPane for transitions, places, events and dependencies