bootloader: grub: Remove unneeded 'terminal_output'.
[guix.git] / gnu / bootloader / 
treee724b5c9601dc30d73d6e3008fbdf8fbd5c33c47
drwxr-xr-x   ..
-rw-r--r-- 4480 depthcharge.scm
-rw-r--r-- 4130 extlinux.scm
-rw-r--r-- 17345 grub.scm
-rw-r--r-- 6419 u-boot.scm