github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-16 13:57:07 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
f3778baaf456acb16d411362c585178a8b79278d
zyedidia.micro/cmd
History
Zachary Yedidia f3778baaf4 SetGlobalOption access for plugins
2019-12-28 23:40:44 -05:00
..
micro
SetGlobalOption access for plugins
2019-12-28 23:40:44 -05:00