]> git.zerfleddert.de Git - micropolis/commitdiff
remove outdated and unused .dif-files
authorMichael Gernoth <michael@gernoth.net>
Sat, 4 Jun 2022 09:26:39 +0000 (11:26 +0200)
committerMichael Gernoth <michael@gernoth.net>
Sat, 4 Jun 2022 09:26:39 +0000 (11:26 +0200)

No differences found
Impressum, Datenschutz