github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-02 19:00:17 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
ed6951a653a8811e71b019e709ea2996c83dc2e1
zyedidia.micro/cmd
History
Zachary Yedidia ed6951a653 Check if file is dir before opening 
Fixes #587
2017-03-09 12:56:24 -05:00
..
micro
Check if file is dir before opening
2017-03-09 12:56:24 -05:00