10 Jul
2012
10 Jul
'12
3:37 a.m.
### BEGIN /etc/grub.d/10_linux ### menuentry 'Red Hat Linux (3.5.0-0.rc6.git0.2.fc18.x86_64)' --class fedora --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-34748375-c797-4d5c-9990-3e46f3f74b6f'
grubby-8.15-1.fc18.x86_64 grub2-2.00-1.fc18.x86_64 grub2-tools-2.00-1.fc18.x86_64 kernel-3.5.0-0.rc6.git0.2.fc18.x86_64
--
Regards,
Frank
"Jack of all, fubars"