This repository has been archived on 2024-08-07. You can view files and clone it, but cannot push or open issues/pull-requests.

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	gnu: u-boot: Update to 2019.04.	2019-04-29 12:35:04 +02:00