From: Thomas Glanzmann Date: Wed, 23 Feb 2022 21:02:41 +0000 (+0100) Subject: remove obsolete file X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/m1-debian/commitdiff_plain/2dea708f5c8a2a7903ef9bcc1556d7b44202955d?ds=sidebyside;hp=2dea708f5c8a2a7903ef9bcc1556d7b44202955d remove obsolete file ---