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?ds=inline;hp=--cc

drop the small font
---

fcb5111f9d975a3c801e0803ec98ffe4ef3c3852
diff --git a/config.edge b/config.edge
index 1e6ede1..d4871e7 100644
--- a/config.edge
+++ b/config.edge
@@ -7411,7 +7411,6 @@ CONFIG_GENERIC_VDSO_TIME_NS=y
 CONFIG_FONT_SUPPORT=y
 CONFIG_FONTS=y
 # CONFIG_FONT_8x8 is not set
-CONFIG_FONT_8x16=y
 # CONFIG_FONT_6x11 is not set
 # CONFIG_FONT_7x14 is not set
 # CONFIG_FONT_PEARL_8x8 is not set