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

drop small font
---