github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-31 23:27:10 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
6f6b263d102d37901d4e25e80db9760b924a7d30
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