-
Florian Wittkamp authored
! This commit renames DENISE to IFOS ! Keep care and update all of your self written shell scripts etc. The make target is 'IFOS' (capital letters). The resulting binary is called 'IFOS' as well.
941b00c8
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 commit renames DENISE to IFOS ! Keep care and update all of your self written shell scripts etc. The make target is 'IFOS' (capital letters). The resulting binary is called 'IFOS' as well.