From: Thomas Glanzmann Date: Sun, 11 Dec 2022 23:29:14 +0000 (+0100) Subject: drop obsolete files X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/m1-debian/commitdiff_plain/9aca3c9cc3098a874b25dd8522571ed1cffe1d00?hp=9aca3c9cc3098a874b25dd8522571ed1cffe1d00 drop obsolete files ---