-
Christian Würdig authored
BugFix: when a node in schedule got exchanged, it is turned into Bad: do not set input to Bad for these nodes changed indents
d14c6378
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
BugFix: when a node in schedule got exchanged, it is turned into Bad: do not set input to Bad for these nodes changed indents