-
Matthias Braun authored
This reverts commit 0401d159. This didn't turn out to be that useful and just produced warnings in gcc.
7a26c37f
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