Ludovic Courtès cae0725b80 bootloader: grub: Remove unneeded 'terminal_output'. ... Fixes <https://bugs.gnu.org/35585>. Reported by Florian Pelz <pelzflorian@pelzflorian.de>. This statement was added in 8d058e7b1b but turned out to be unnecessary. * gnu/bootloader/grub.scm (grub-configuration-file): Remove 'terminal_output' statement.		2019-05-09 12:11:36 +02:00
..
depthcharge.scm
extlinux.scm
grub.scm	bootloader: grub: Remove unneeded 'terminal_output'.	2019-05-09 12:11:36 +02:00
u-boot.scm