github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-26 00:40:19 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
v1.1.3
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