Matthias Braun authored
unknown_type, code_type, none_type, unknown_entity reference are hold in the irprog now. This makes handling more consistent since now all types and entities are equally part of irprog.274626e2
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.