From: Thomas Glanzmann Date: Wed, 2 Feb 2022 14:33:48 +0000 (+0100) Subject: remove obsolete file X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/m1-debian/commitdiff_plain/416882515c36cb355e8d2abbfcc8d7ebcc0776a8?hp=416882515c36cb355e8d2abbfcc8d7ebcc0776a8 remove obsolete file ---