github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-10 14:42:47 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
d48efbf4424c66aeaa324ba0c6d6be743d1ade1e
zyedidia.micro/runtime/plugins/linter
History
Samantha Marshall ea57d8b883 Adding additional Python and Objective-C linting (#524) 
* adding mypy and pylint to the linter plugin

* adding objective-c linting

* updating runtime file
2017-01-17 16:34:11 -05:00
..
linter.lua
Adding additional Python and Objective-C linting (#524)
2017-01-17 16:34:11 -05:00