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	bootloader: Use 'invoke/quiet' when running 'grub-install' and co.	2019-03-16 18:15:13 +01:00
grub.scm	bootloader: grub: Remove unneeded 'terminal_output'.	2019-05-09 12:11:36 +02:00
u-boot.scm	…