ShellBinPkg: binary update based on 15257.
[mirror_edk2.git] / ShellBinPkg / MinUefiShell / X64 /
drwxr-xr-x   ..
-rw-r--r-- 365888 Shell.efi
-rw-r--r-- 24 profiles.txt