github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-17 22:37:10 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
cf1f9fa0079107bec50bea82e3d6a8e0ab615a83
zyedidia.micro/cmd
History
Zachary Yedidia 34619e111f Add GetGlobalOption access for plugins
2019-12-28 22:48:38 -05:00
..
micro
Add GetGlobalOption access for plugins
2019-12-28 22:48:38 -05:00