github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-20 14:00:23 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
28acfc6d3ff1fead64464d95db95f62b63705d8d
zyedidia.micro/cmd
History
Zachary Yedidia 28acfc6d3f Fix support for user-friendly plugin names 
Fixes #840
2017-09-30 17:47:19 -04:00
..
micro
Fix support for user-friendly plugin names
2017-09-30 17:47:19 -04:00