diff options
| -rw-r--r-- | gnu/bootloader/grub.scm | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gnu/bootloader/grub.scm b/gnu/bootloader/grub.scm index e97a17b3e2..d984d5f5e3 100644 --- a/gnu/bootloader/grub.scm +++ b/gnu/bootloader/grub.scm @@ -360,7 +360,6 @@ entries corresponding to old generations of the system." (keyboard-layout-file layout #:grub grub)))) (when keymap (format port "\ -terminal_input at_keyboard insmod keylayouts keymap ~a~%" keymap))))) |