github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-10 22:52:51 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
59146cabb1ce0bb329d4b65cc277a5d9538b8482
zyedidia.micro/runtime/plugins/linter
History
Zachary Yedidia 59146cabb1 Add callback option to linter
2020-01-30 18:00:17 -05:00
..
info.json
Fix formatting in plugin info.json
2019-12-29 00:03:21 -05:00
linter.lua
Add callback option to linter
2020-01-30 18:00:17 -05:00