github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-09 00:20:19 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
3d387732c4d1fbfd38b5af8ae6d6aa9f34330cbe
zyedidia.micro/runtime/plugins/linter
History
Zachary Yedidia 3d387732c4 Update linter documentation 
Ref #1766
2020-07-09 17:58:42 -04:00
..
help
Update linter documentation
2020-07-09 17:58:42 -04:00
linter.lua
Update hlint to 3.0 syntax (#1659)
2020-05-16 13:06:55 -04:00