Name Last modified Size Description
Parent Directory - machines.conf 05-Nov-2021 08:02 307 dirs.zip 05-Nov-2021 08:06 1.1K dirdiff.txt 19-Nov-2021 10:36 4.4K edit.zip 19-Nov-2021 10:55 9.4K
Dateien zu den Problemloesungen der Vorlesung: Problem 3: Editor -> edit.zip Problem 4: Verzeichnisabgleich -> dirdiff.txt, machines.conf, dirs.zip