-
Matthias Braun authoredpublic functions are already documented in their headers, no need to repeat the comment at the definition site.
02f098c9
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar. Projekte sollen von den Nutzenden selbstständig migriert werden - siehe Docs - Migration.
The new service "GitLab at KIT" is available at gitlab.kit.edu. Projects should be migrated independently by the users - see Docs - Migration.
public functions are already documented in their headers, no need to repeat the comment at the definition site.