-
Christoph Mallon authored
This save quite a bit of code duplication. Also the code drifted apart in the different backends, which this macro prevents now.
6a01dd0a
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
This save quite a bit of code duplication. Also the code drifted apart in the different backends, which this macro prevents now.