Daniel Ruiz de Alegría 6c51c02511 Remove duplicated grub background file

2022-01-11 10:51:37 +01: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

Remove duplicated grub background file

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

unifont-regular-16.pf2

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

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