-
Matthias Braun authored
some were missing anyway and nobody is using the global declarations anyway
58d31ad8
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
some were missing anyway and nobody is using the global declarations anyway