[patch] enhances grub configuration by using "grub/terminal" and "grub/serialcommand" variables
grub.patch (text/plain), 1.17 KB, created by Lutz Willek on 2016-02-06 15:24 CET
(hide)
 
Creator: Lutz Willek
Created: 2016-02-06 15:24 CET
Size: 1.17 KB
Actions: View | Diff
Attachments on bug 40596: 7457 | 7458