ShellBinPkg: Update binaries
[mirror_edk2.git] / ShellBinPkg / MinUefiShell / X64 /
drwxr-xr-x   ..
-rw-r--r-- 359840 Shell.efi
-rw-r--r-- 24 profiles.txt