-
Matthias Braun authored
This removes functions from the public API which are pointless outside localopt rules, and also avoids another struct in the public API.
0b06709b
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
This removes functions from the public API which are pointless outside localopt rules, and also avoids another struct in the public API.