fix up patch
Dennis Gilmore • 12 years ago  
always create a legacy grub config file
Dennis Gilmore • 12 years ago