github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-10 14:42:47 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
0d9fc601ac3e8c70d9e8ec849228b135d1f6aad5
zyedidia.micro/cmd
History
Zachary Yedidia 0d9fc601ac Merge pull request #489 from november-eleven/refactor/plugin-name 
Enable human-friendly plugin name
2016-12-22 15:44:09 -05:00
..
micro
Merge pull request #489 from november-eleven/refactor/plugin-name
2016-12-22 15:44:09 -05:00