From: Michael Gernoth <michael@gernoth.net>
Date: Sat, 4 Jun 2022 09:26:39 +0000 (+0200)
Subject: remove outdated and unused .dif-files
X-Git-Url: http://git.zerfleddert.de/cgi-bin/gitweb.cgi/micropolis/commitdiff_plain/34e37af786a9743ebe7bd76a518911affb9db72b?hp=34e37af786a9743ebe7bd76a518911affb9db72b

remove outdated and unused .dif-files
---