dana 10176338cc change zip sorting again (#943) ...

* file_io: sort zips with directories again

* menu: strip now-redundant .zip extension, make <ZIP> suffix match <DIR>

2024-12-23 15:57:13 +08:00

44 KiB

Raw Blame History

View Raw