Juan RP b557955207 Update grub/isolinux kernel cmdline: remove useless args.		2013-05-20 15:57:37 +02:00
..
grub.cfg	Revamped to support EFI booting via grub2.	2012-07-06 15:29:12 +02:00
grub_void.cfg.in	Update grub/isolinux kernel cmdline: remove useless args.	2013-05-20 15:57:37 +02:00