Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
- kicked some superflous calls - set svn properties [r27247]