Fabio Erculiani de80e1c482 [sys-boot/grub] fix 05_distro_theme

2010-02-17 21:08:55 +01:00

..

grub

[sys-boot/grub] fix 05_distro_theme

2010-02-17 21:08:55 +01:00

grub-handler

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

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