diff options
| author | Andrew Robbins <contact@andrewrobbins.info> | 2017-09-05 22:47:09 -0400 |
|---|---|---|
| committer | Andrew Robbins <contact@andrewrobbins.info> | 2017-09-06 21:31:56 -0400 |
| commit | 359174e80508e26aee0fc5563c12f34eb574e6b0 (patch) | |
| tree | 8031d9526d09ce3d4426e59bd4d3fabae1f298c4 /projects/grub/configs/font/dejavusansmono.pf2 | |
| parent | bd50862552f417f9d01d4a0d13ccc921ff26c5bf (diff) | |
| download | librebootfr-359174e80508e26aee0fc5563c12f34eb574e6b0.tar.gz librebootfr-359174e80508e26aee0fc5563c12f34eb574e6b0.zip | |
Delete directory projects/grub/configs/font
A more flexible way of handling font files will be introduced in later
commits.
Diffstat (limited to 'projects/grub/configs/font/dejavusansmono.pf2')
| -rw-r--r-- | projects/grub/configs/font/dejavusansmono.pf2 | bin | 100513 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/projects/grub/configs/font/dejavusansmono.pf2 b/projects/grub/configs/font/dejavusansmono.pf2 Binary files differdeleted file mode 100644 index 9ba557e9..00000000 --- a/projects/grub/configs/font/dejavusansmono.pf2 +++ /dev/null |