Vladimir 'phcoder' Serbinenko af18fdb4df * grub-core/normal/menu_text.c (grub_menu_init_page): Fix behaviour
when menu highlight color isn't set.
2013-01-27 16:12:05 +01:00
..
2012-02-12 15:25:25 +01:00