-
Christoph Mallon authored
This is simpler, removes some code duplication and makes the backends more robust against duplicate Projs of Start, which can happen if optimisations are disabled.
b412c330
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
This is simpler, removes some code duplication and makes the backends more robust against duplicate Projs of Start, which can happen if optimisations are disabled.