-
Lulu Luong authored
changed IndistintWindow to IndistinctInformation, because we'll be using dialogs instead of seperate windows added Countdownlatch for synchronziation Bug fixes for the ScriptTree
361e39ae
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Dieser Pilot-GitLab wird zum Ende des Wintersemesters 2023/24, d.h. am 31.03.2024, geschlossen // This pilot GitLab will be closed at the end of the winter semester 2023/24 on March 31, 2024
changed IndistintWindow to IndistinctInformation, because we'll be using dialogs instead of seperate windows added Countdownlatch for synchronziation Bug fixes for the ScriptTree