diff options
Diffstat (limited to 'resources/grub')
-rw-r--r-- | resources/grub/font/.gitignore | 1 | ||||
-rw-r--r-- | resources/grub/font/COPYING | 3 | ||||
-rw-r--r-- | resources/grub/font/dejavusansmono.pf2 | bin | 100513 -> 0 bytes |
3 files changed, 1 insertions, 3 deletions
diff --git a/resources/grub/font/.gitignore b/resources/grub/font/.gitignore new file mode 100644 index 0000000..45fdc41 --- /dev/null +++ b/resources/grub/font/.gitignore @@ -0,0 +1 @@ +/dejavusansmono.pf2 diff --git a/resources/grub/font/COPYING b/resources/grub/font/COPYING deleted file mode 100644 index db00082..0000000 --- a/resources/grub/font/COPYING +++ /dev/null @@ -1,3 +0,0 @@ -dejavusansmono.pf2 is generated from "DeJavu Sans Mono" font. -Check ../../../dejavu-fonts-ttf-2.34 for the copyright information of that project. -(it's in libreboot_src if you downloaded the libreboot_bin archive. See ../../../docs/RELEASE.html to find where to get it) diff --git a/resources/grub/font/dejavusansmono.pf2 b/resources/grub/font/dejavusansmono.pf2 Binary files differdeleted file mode 100644 index 9ba557e..0000000 --- a/resources/grub/font/dejavusansmono.pf2 +++ /dev/null |