-
Matthias Braun authored
Make sure all types are in the global type list, remove type_walk_prog which was a strange alternative to type_walk attempting to not miss types not in the global list.
3ddfc6a4
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Make sure all types are in the global type list, remove type_walk_prog which was a strange alternative to type_walk attempting to not miss types not in the global list.