-
Sarah Grebing authored
corrected handling of match results concerning varaible assignment and added number of nodes and progress to status bar
defba7b3
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
corrected handling of match results concerning varaible assignment and added number of nodes and progress to status bar