Reading /etc/default/extlinux globally in extlinux-update (Closes: #717399).
[syslinux-debian/hramrach.git] / efi32 / efi / 
treeb1262b90341c565195e4a378eed7c847dff17dd5
drwxr-xr-x   ..
-rw-r--r-- 171464 syslinux.efi