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