Fabio Erculiani 031e2dbbea [sys-boot/grub] tweaking grub2-default file

2010-07-16 00:35:02 +02:00

..

grub

[sys-boot/grub] tweaking grub2-default file

2010-07-16 00:35:02 +02:00

grub-handler

[sys-boot/grub-handler] handle entries marked as "safe mode"

2010-06-11 18:14:35 +02:00