-
Matthias Braun authoredunknown_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.
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.
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.