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
98ddb62af48156a5aae0b4068bbfc39b992bec91
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