Michael Beck authored
- removed commented out code - removed some unnecessary memory copies - used new functions - use unknown_entity instead of "MARK" - fixed some comments - improve doxygen comments [r17122]93b64caf
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
The new service "GitLab at KIT" is available at gitlab.kit.edu. Projects should be migrated independently by the users - see Docs - Migration.