-
Matthias Braun authored
Noone is really using these informations at the moment and they weren't correctly invalidated anyway.
550ae1cf
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Noone is really using these informations at the moment and they weren't correctly invalidated anyway.