github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-06 15:10:27 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
106ba48079da59047e8a0153868ec8e93afe5249
zyedidia.micro/runtime/plugins
History
Zachary Yedidia 106ba48079 Add some docs for linter, comment, status
2020-02-07 11:32:12 -05:00
..
autoclose
Add plugin manager
2020-02-01 23:54:38 -05:00
comment
Add some docs for linter, comment, status
2020-02-07 11:32:12 -05:00
ftoptions
Add plugin manager
2020-02-01 23:54:38 -05:00
linter
Add some docs for linter, comment, status
2020-02-07 11:32:12 -05:00
literate
Add plugin manager
2020-02-01 23:54:38 -05:00
status
Add some docs for linter, comment, status
2020-02-07 11:32:12 -05:00