Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
- set kind of graph to k_ir_graph on construction [r1478]