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