Skip to content

Bugfix/creating a feature should be the default in the feature diagram editor #739#1760

Merged
kbirken merged 18 commits into
maintenance/mps20241from
bugfix/Creating-a-Feature-should-be-the-default-in-the-feature-diagram-editor-#739
Jun 30, 2026
Merged

Bugfix/creating a feature should be the default in the feature diagram editor #739#1760
kbirken merged 18 commits into
maintenance/mps20241from
bugfix/Creating-a-Feature-should-be-the-default-in-the-feature-diagram-editor-#739

Commits

Commits on Apr 17, 2026

Commits on Jun 12, 2026

Commits on Jun 15, 2026