Juan RP e48e63b61c Revamped to support EFI booting via grub2.		2012-07-06 15:29:12 +02:00
..
grub.cfg	Revamped to support EFI booting via grub2.	2012-07-06 15:29:12 +02:00
grub_void.cfg.in	Revamped to support EFI booting via grub2.	2012-07-06 15:29:12 +02:00