-
Christoph Mallon authored
There is no legitimate reason for an outside user to change the op of a node. Even internally it should be used less, i.e. only for Deleted, Id and Tuple.
a161f099
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
There is no legitimate reason for an outside user to change the op of a node. Even internally it should be used less, i.e. only for Deleted, Id and Tuple.