Remove Grml release name from the boot options
[grml-live.git] / templates / EFI / debian /
drwxr-xr-x   ..
drwxr-xr-x - BOOT