-
Michael Beck authored
This speeds up things and fixes some verification errors (CF-Bad) in the Spec [r8599]
b227a3d3
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
This speeds up things and fixes some verification errors (CF-Bad) in the Spec [r8599]