Ignore case when looking for UEFI boot*efi file (#1156380)
[livecd.git] / tools / 
treec1633bf94bcc4a5af51f46a3d30292540d0ce398
drwxr-xr-x   ..
-rwxr-xr-x 28466 edit-livecd
-rwxr-xr-x 9939 livecd-creator
-rwxr-xr-x 49592 livecd-iso-to-disk.sh
-rwxr-xr-x 4068 livecd-iso-to-pxeboot.sh
-rwxr-xr-x 10986 liveimage-mount
-rw-r--r-- 2209 mkbackup.py
-rw-r--r-- 8170 mkbiarch.py