github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-27 01:10:30 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
24eb6fee250b340c86d651e8bf5e383cc170b179
zyedidia.micro/runtime/plugins/linter
History
Zachary Yedidia bc6dd990e5 Improve gutter messages
2019-12-25 17:05:11 -05:00
..
linter.lua
Improve gutter messages
2019-12-25 17:05:11 -05:00