Die monatliche GitLab Wartung findet am Donnerstag den 22.5. statt, daher wird GitLab an diesem Tag zwischen 17 Uhr und 18 Uhr nicht erreichbar sein
GitBook-Skript zur Veranstaltung Einführung in die Informationstechnik I, WiSe 2016/17
