-
Lulu Luong authored
Bug: model.getSelectedGoalNodeToShow().getAssignment() in SequentOptionsMenu is always empty
0af5dbd6
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Bug: model.getSelectedGoalNodeToShow().getAssignment() in SequentOptionsMenu is always empty