Fabio Erculiani d2731c2efe [sys-boot/grub] fix default text menu colour

2010-02-17 21:36:48 +01:00

..

grub

[sys-boot/grub] fix default text menu colour

2010-02-17 21:36:48 +01:00

grub-handler

[sys-boot/grub-handler] fix another grub device detection issue

2009-08-07 00:34:41 +02:00