-
we7765 authored
Programs in contrib/stfinv/tests are not required by DENISE but may cause confusion since they require libtfxx which is not part of the vendor import.
09f02025
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
Programs in contrib/stfinv/tests are not required by DENISE but may cause confusion since they require libtfxx which is not part of the vendor import.