grml2iso: skip --uefi option of isohybrid if ISO doesn't ship /boot/efi.img
[grml2usb.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 956 Makefile
-rw-r--r-- 3748 mbr.8.txt
-rw-r--r-- 155705 pycallgraph.png