github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-17 22:37:10 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
2598d8ad70707966bbb0f51dc7cc4ea2b88dab8b
zyedidia.micro/runtime/plugins/linter
History
Zachary Yedidia 46c5a81b0d Fix callback cancelation
2020-01-30 18:04:17 -05:00
..
info.json
Fix formatting in plugin info.json
2019-12-29 00:03:21 -05:00
linter.lua
Fix callback cancelation
2020-01-30 18:04:17 -05:00