github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-13 02:20:31 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
8b4e9d2c5e44f02629af8d2794d2f8a465dfbc8d
zyedidia.micro/runtime/plugins/linter
History
Matthias Thym dd8e341de2 Fix linter help formatting (#2280)
2021-11-17 12:59:16 -08:00
..
help
Fix linter help formatting (#2280)
2021-11-17 12:59:16 -08:00
linter.lua
…