github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-11 15:12:47 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
e4386d9398e4ddec531d7e2c0155eecd0ab45220
zyedidia.micro/runtime/plugins/linter
History
Zachary Yedidia e563211790 Make linter a default plugin once again
2016-10-06 20:28:10 -04:00
..
linter.lua
Make linter a default plugin once again
2016-10-06 20:28:10 -04:00