From: Thomas Glanzmann <thomas@glanzmann.de>
Date: Sun, 11 Dec 2022 10:47:36 +0000 (+0100)
Subject: drop the small font
X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/m1-debian/commitdiff_plain/fcb5111f9d975a3c801e0803ec98ffe4ef3c3852?hp=fcb5111f9d975a3c801e0803ec98ffe4ef3c3852

drop the small font
---