github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-07 15:40:24 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
cef32d4ac7f7bbc1f57fc67f8a1788edddfbe771
zyedidia.micro/runtime/plugins
History
Zachary Yedidia 1b73abcfd0 Fix formatting in plugin info.json
2019-12-29 00:03:21 -05:00
..
autoclose
Update default plugins slightly
2019-12-28 22:39:57 -05:00
comment
Fix formatting in plugin info.json
2019-12-29 00:03:21 -05:00
ftoptions
Fix formatting in plugin info.json
2019-12-29 00:03:21 -05:00
linter
Fix formatting in plugin info.json
2019-12-29 00:03:21 -05:00
literate
Fix formatting in plugin info.json
2019-12-29 00:03:21 -05:00