From: Thomas Glanzmann Date: Thu, 27 Jan 2022 14:22:39 +0000 (+0100) Subject: use a bigger kernel font X-Git-Url: http://cvs.zerfleddert.de/cgi-bin/gitweb.cgi/m1-debian/commitdiff_plain/beb245fc9857e330ef46e6a155e653a4efbefa22?hp=beb245fc9857e330ef46e6a155e653a4efbefa22 use a bigger kernel font ---