-
Matthias Braun authoredThey have been unnecessary aliases for is_SymConst_addr_ent() and get_SymConst_entity().
2e179fbd
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Git.scc.kit.edu ist zu Jahresende 2023 abgekündigt. Ab dem 04.12.2023 können Nutzende unter git.scc.kit.edu keine neuen Projekte und Gruppen mehr angelegen. Erstellen Sie diese unter gitlab.kit.edu.
Git.scc.kit.edu is discontinued at the end of 2023. As of 12/04/2023, users will no longer be able to create new projects and groups at git.scc.kit.edu. Create them at gitlab.kit.edu.
They have been unnecessary aliases for is_SymConst_addr_ent() and get_SymConst_entity().