github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-09 00:20:19 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
d29994ada969c2c67a0c9cc6cfb5f9fa8d52520e
zyedidia.micro/runtime/plugins
History
Zachary Yedidia 7f32d31108 Fix plugin names
2019-12-25 17:05:11 -05:00
..
autoclose
Fix plugin names
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
Fix plugin names
2019-12-25 17:05:11 -05:00