-
we7765 authored
This is a legacy commit from before 2015-03-01. It may be incomplete as well as inconsistent. See COPYING.legacy and README.history for details. The new package installation mechanism requires additional variables be set.
e1383a3e
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 is a legacy commit from before 2015-03-01. It may be incomplete as well as inconsistent. See COPYING.legacy and README.history for details. The new package installation mechanism requires additional variables be set.