-
Christoph Mallon authored
This removes the strange entity/type duality and we get rid of union symconst_symbol.
2327654f
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
This removes the strange entity/type duality and we get rid of union symconst_symbol.