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