-
Andreas Zwinkau authored* get_associated_type is unnecessary * is_lowered_type is an internal inline function now * set_lowered_type is an internal inline function now
30c84b27
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.
* get_associated_type is unnecessary * is_lowered_type is an internal inline function now * set_lowered_type is an internal inline function now