From 359174e80508e26aee0fc5563c12f34eb574e6b0 Mon Sep 17 00:00:00 2001 From: Andrew Robbins Date: Tue, 5 Sep 2017 22:47:09 -0400 Subject: Delete directory projects/grub/configs/font A more flexible way of handling font files will be introduced in later commits. --- projects/grub/configs/font/dejavusansmono.pf2 | Bin 100513 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 projects/grub/configs/font/dejavusansmono.pf2 (limited to 'projects/grub/configs/font/dejavusansmono.pf2') diff --git a/projects/grub/configs/font/dejavusansmono.pf2 b/projects/grub/configs/font/dejavusansmono.pf2 deleted file mode 100644 index 9ba557e9..00000000 Binary files a/projects/grub/configs/font/dejavusansmono.pf2 and /dev/null differ -- cgit v1.2.3-70-g09d2