-
Matthias Braun authored
public 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.
public functions are already documented in their headers, no need to repeat the comment at the definition site.