github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-06 07:00:24 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
ca58fc949efe58706a18565580a1ddd676d3cb20
zyedidia.micro/cmd
History
Zachary Yedidia ca58fc949e Make sure there is a selection before deleting it 
Fixes #140
2016-05-24 17:46:46 -04:00
..
micro
Make sure there is a selection before deleting it
2016-05-24 17:46:46 -04:00