diff options
Diffstat (limited to 'share')
| -rw-r--r-- | share/bootloaders/grub-pc/grub.cfg | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/share/bootloaders/grub-pc/grub.cfg b/share/bootloaders/grub-pc/grub.cfg index 521b3a7a5..e3e9fbd49 100644 --- a/share/bootloaders/grub-pc/grub.cfg +++ b/share/bootloaders/grub-pc/grub.cfg @@ -22,7 +22,7 @@ if @ENABLE_INSTALL_MENU@; then source /boot/grub/install_start.cfg -submenu 'Advanced install options...' --hotkey=a { +submenu 'Advanced install options ...' --hotkey=a { source /boot/grub/theme.cfg @@ -32,7 +32,7 @@ submenu 'Advanced install options...' --hotkey=a { fi if @ENABLE_MEMTEST@; then -submenu 'Advanced options...' { +submenu 'Advanced options ...' { source /boot/grub/theme.cfg |