[patch] add GRUB_DISABLE_SUBMENU option patch
grub-2.00-add-GRUB-DISABLE-SUBMENU-option.patch (text/plain), 2.52 KB, created by Prarit Bhargava on 2013-02-07 18:53:30 UTC
(hide)
 
Creator: Prarit Bhargava
Created: 2013-02-07 18:53:30 UTC
Size: 2.52 KB
Actions: View | Diff
Attachments on bug 908528: 694703 | 694704 | 694705