-
Michael Beck authoredthat should remain due to strict fp rounding rules. Removed unused Start attibutes. Renamed attribute names to more understandable names. [r7982]
6dd417e1
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Git.scc.kit.edu ist zu Jahresende 2023 abgekündigt. Ab dem 04.12.2023 können Nutzende unter git.scc.kit.edu keine neuen Projekte und Gruppen mehr angelegen. Erstellen Sie diese unter gitlab.kit.edu.
Git.scc.kit.edu is discontinued at the end of 2023. As of 12/04/2023, users will no longer be able to create new projects and groups at git.scc.kit.edu. Create them at gitlab.kit.edu.
that should remain due to strict fp rounding rules. Removed unused Start attibutes. Renamed attribute names to more understandable names. [r7982]