Use grub config from ISO instead of writing a new one
[grml2usb.git] / debian / compat
1 7