-
Andreas Schösser authored
Loop nodes which have no loop nodes are now eliminated before finishing the tree. [r2224]
2a280eb9
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Loop nodes which have no loop nodes are now eliminated before finishing the tree. [r2224]