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/COPYING | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 projects/grub/configs/font/COPYING (limited to 'projects/grub/configs/font/COPYING') diff --git a/projects/grub/configs/font/COPYING b/projects/grub/configs/font/COPYING deleted file mode 100644 index fd3ae4f6..00000000 --- a/projects/grub/configs/font/COPYING +++ /dev/null @@ -1,2 +0,0 @@ -dejavusansmono.pf2 is generated from "DeJavu Sans Mono" font. -Check dejavu-fonts-ttf-2.34 for the copyright information of that project. -- cgit v1.2.3-70-g09d2