2
1
Fork 0
mirror of https://git.savannah.gnu.org/git/gnuboot.git synced 2025-01-22 15:20:20 +01:00
gnuboot/resources/grub/patches
2022-03-20 00:44:45 +00:00
..
0001-mitigate-grub-s-missing-characters-for-borders-arrow.patch say the name libreboot, in grub menus 2022-03-20 00:44:45 +00:00
0002-say-the-name-libreboot-in-the-grub-menu.patch say the name libreboot, in grub menus 2022-03-20 00:44:45 +00:00
0003-specifically-use-python3-in-gentpl.py.patch say the name libreboot, in grub menus 2022-03-20 00:44:45 +00:00