grml2iso: skip --uefi option of isohybrid if ISO doesn't ship /boot/efi.img
[grml2usb.git] / zsh /
drwxr-xr-x   ..
-rw-r--r-- 1854 _grml2usb