Rename --mbr-manager into --mbr-menu
[grml2usb.git] / debian / compat
1 4