-
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.
Dieser Pilot-GitLab wird zum Ende des Wintersemesters 2023/24, d.h. am 31.03.2024, geschlossen // This pilot GitLab will be closed at the end of the winter semester 2023/24 on March 31, 2024
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.