-
Matthias Braun authoredcompiletime options like NDEBUG (as it is public API!) - renamed some statevs (append a prefix for their module) [r22329]
81d4cf5a
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.
compiletime options like NDEBUG (as it is public API!) - renamed some statevs (append a prefix for their module) [r22329]