From 1a465a01302723e86ae975742e448cf1974a9b4a Mon Sep 17 00:00:00 2001 From: Aaron Honeycutt Date: Fri, 6 May 2022 18:04:51 +0000 Subject: [PATCH] Delete config.sed --- config.sed | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 config.sed diff --git a/config.sed b/config.sed deleted file mode 100644 index 2e987a7..0000000 --- a/config.sed +++ /dev/null @@ -1,10 +0,0 @@ -/# console = {/ { - p; - n; - /# font = "Lat2-Terminus16";/ { - s/# font/font/; - p; - d; - } -} -p; \ No newline at end of file