Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
The new service "GitLab at KIT" is available at gitlab.kit.edu. Projects should be migrated independently by the users - see Docs - Migration.
that should remain due to strict fp rounding rules. Removed unused Start attibutes. Renamed attribute names to more understandable names. [r7982]