-
Florian Wittkamp authored
This option is not supported anymore. Therefore I remove it from the source code.
879a9627
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
This option is not supported anymore. Therefore I remove it from the source code.