-
oc2135 authored
Big update after running source code beautifier to fix code alignments etc. There should be no feature changes in this commit.
6523cfd4
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Dieser Pilot-GitLab wird zum Ende des Wintersemesters 2023/24, d.h. am 31.03.2024, geschlossen // This pilot GitLab will be closed at the end of the winter semester 2023/24 on March 31, 2024
Big update after running source code beautifier to fix code alignments etc. There should be no feature changes in this commit.