Daniel Ruiz de Alegría 63f31da43e Grub: use default font

2022-06-23 21:06:43 +02:00

..

grub_background.sh

Move all files installed below /usr/share in the same directory

2019-11-07 10:32:21 +01:00

grub-4x3.png

New grub backgrounds

2022-01-11 10:12:51 +01:00

grub-16x9.png

New grub backgrounds

2022-01-11 10:12:51 +01:00

select_c.png

Move all files installed below /usr/share in the same directory

2019-11-07 10:32:21 +01:00

select_e.png

Move all files installed below /usr/share in the same directory

2019-11-07 10:32:21 +01:00

select_w.png

Move all files installed below /usr/share in the same directory

2019-11-07 10:32:21 +01:00

theme.txt

Grub: use default font

2022-06-23 21:06:43 +02:00