-
Matthias Braun authored
This was an odd convention from the past, there's no need for it anymore.
01e23d45
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
This was an odd convention from the past, there's no need for it anymore.