Skip to content
Snippets Groups Projects
Commit ab724c21 authored by Mirko Wächter's avatar Mirko Wächter
Browse files

Merge branch 'fixes' into 'master'

Fix duplicated proxz entries for statecharts

See merge request !47
parents 5ffde05c 5c3cea63
No related branches found
No related tags found
1 merge request!47Fix duplicated proxz entries for statecharts
Pipeline #
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment