utilities/micro
utilities/micro
1
0
Fork 0
mirror of https://github.com/zyedidia/micro synced 2024-09-30 05:06:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
micro/runtime/plugins/linter
History
Zachary Yedidia 1b73abcfd0 Fix formatting in plugin info.json
2019-12-29 00:03:21 -05:00
..
info.json Fix formatting in plugin info.json 2019-12-29 00:03:21 -05:00
linter.lua Update default plugins slightly 2019-12-28 22:39:57 -05:00