github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-15 03:20:20 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
3ee87e876795dc57a362c3f78fa19e9fea23d209
zyedidia.micro/cmd
History
Zachary Yedidia 3f01f73ea9 Give error message if input is a directory 
Fixes #479
2016-12-07 10:28:03 -05:00
..
micro
Give error message if input is a directory
2016-12-07 10:28:03 -05:00