-
Christoph Mallon authored
Most attributes were unused. The only one used (dump) is now directly read from the be_options.
18dd893a
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Most attributes were unused. The only one used (dump) is now directly read from the be_options.