-
Christoph Mallon authored
It is only used to draw interference graphs, where it can be derived locally.
36fc5bb2
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
It is only used to draw interference graphs, where it can be derived locally.