Vladimir Serbinenko 323de05ba2 Support GRUB_DISABLE_SUBMENU config.
Inspired by patch from Prarit Bhargava.
2013-11-04 00:15:31 +01:00
..
2010-09-15 14:46:53 +02:00
2013-11-03 16:52:33 +01:00
2013-10-17 00:49:05 +02:00