grml2iso: skip --uefi option of isohybrid if ISO doesn't ship /boot/efi.img
[grml2usb.git] / mbr /
drwxr-xr-x   ..
-rw-r--r-- 554 Makefile
-rw-r--r-- 7024 mbr.S