github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-10 09:00:20 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
5d00522d4e0c37feea44f0149ec1d642a4d1e025
zyedidia.micro/runtime/plugins/linter
History
Zachary Yedidia 13da5ced15 Fix problem with linter.onSave calling view.Save 
Fixes #246
2016-08-30 19:38:45 -04:00
..
linter.lua
Fix problem with linter.onSave calling view.Save
2016-08-30 19:38:45 -04:00