github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-06 23:20:18 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
b68461cf72cb913c40dd60a77b2cb2fcc27aec0f
zyedidia.micro/runtime/plugins
History
Zachary Yedidia adaddba696 Add plugin info.json support
2019-12-25 17:05:11 -05:00
..
autoclose
Add plugin info.json support
2019-12-25 17:05:11 -05:00
comment
Add plugin info.json support
2019-12-25 17:05:11 -05:00
ftoptions
Add plugin info.json support
2019-12-25 17:05:11 -05:00
linter
Add plugin info.json support
2019-12-25 17:05:11 -05:00
literate
Add plugin info.json support
2019-12-25 17:05:11 -05:00