Blog: 2023-12-18: Difference between revisions
Jump to navigation
Jump to search
(Created page with "Using this article to change grub font size: https://www.baeldung.com/linux/grub-menu-font-size") |
(No difference)
|
Latest revision as of 18:12, 18 December 2023
Using this article to change grub font size: https://www.baeldung.com/linux/grub-menu-font-size