-
Michael Beck authored
- removed useless Id-node creation - reordered conditions from cheap to expensive [r27245]
cd8b7a75
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
- removed useless Id-node creation - reordered conditions from cheap to expensive [r27245]