github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-26 08:50:22 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
3b5b9bbb214ba60c2cefc06cfc11d4c1eabacff5
zyedidia.micro/cmd
History
Zachary Yedidia 65b5d6c5a9 Handle zip files that do not list directories 
Some zip files do not mark the subdirectories in them as "files"
but they still need to be created.

Fixes #803
2017-09-07 17:02:26 -04:00
..
micro
Handle zip files that do not list directories
2017-09-07 17:02:26 -04:00