diff options
Diffstat (limited to 'resources/grub/font')
| -rw-r--r-- | resources/grub/font/COPYING | 3 | ||||
| -rw-r--r-- | resources/grub/font/dejavusansmono.pf2 | bin | 0 -> 100513 bytes |
2 files changed, 3 insertions, 0 deletions
diff --git a/resources/grub/font/COPYING b/resources/grub/font/COPYING new file mode 100644 index 0000000..db00082 --- /dev/null +++ b/resources/grub/font/COPYING @@ -0,0 +1,3 @@ +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 differnew file mode 100644 index 0000000..9ba557e --- /dev/null +++ b/resources/grub/font/dejavusansmono.pf2 |