-
Lulu Luong authored
+ apply Bugfix for failing tests # Conflicts: # ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/InteractiveModeController.java
d4225b0b
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
+ apply Bugfix for failing tests # Conflicts: # ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/InteractiveModeController.java