github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-10 06:40:24 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
76a328a062e45430d518e318b6518a82dc4fc647
zyedidia.micro/cmd
History
Zachary Yedidia 76a328a062 Use official plugin channel 
Use the channel for official plugins from
https://github.com/micro-editor/plugin-channel

Ref #378
2016-10-05 17:57:03 -04:00
..
micro
Use official plugin channel
2016-10-05 17:57:03 -04:00