-
Matthias Braun authored
fixed several AM problems (and disabled most of the new optimisation possibilities again, as we have problems with heights not being recomputed) [r15433]
e94acb91
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
fixed several AM problems (and disabled most of the new optimisation possibilities again, as we have problems with heights not being recomputed) [r15433]