ShellBinPkg: Update binary images to those made from revision 13224 of ShellPkg.
[mirror_edk2.git] / ShellBinPkg / MinUefiShell / X64 /
drwxr-xr-x   ..
-rw-r--r-- 344512 Shell.efi
-rw-r--r-- 24 profiles.txt