-
Michael Beck authored
- edges_activate()/edges_deactivate() handles DEP edges only in BACKEND phase [r20731]
158ab9a1
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
- edges_activate()/edges_deactivate() handles DEP edges only in BACKEND phase [r20731]