github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-06 23:20:18 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
5311a35f5a6ca9f66ff9cdb49732e9edd2df9ca9
zyedidia.micro/runtime/plugins/linter
History
Zachary Yedidia d0d167b663 Put linted classfiles in temp directory 
Fixes #445
2016-11-09 17:30:25 -05:00
..
linter.lua
Put linted classfiles in temp directory
2016-11-09 17:30:25 -05:00