-
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. added note to doxygen.txt and fixed doxygen dependency in Makefile
b21ed709
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
ACHTUNG - Anpassung des Abschaltdatums: Der Pilot-GitLab wird zum Ende des Wintersemesters 2023/24, d.h. am 31.03.2024, geschlossen // ATTENTION - Shutdown date: The 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. added note to doxygen.txt and fixed doxygen dependency in Makefile