-
Matthias Braun authored
no need for kill_dead_nodes, use edges_deactivate; edges_activate if you need this functionality (but better fix your code)
8708d3cf
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
no need for kill_dead_nodes, use edges_deactivate; edges_activate if you need this functionality (but better fix your code)