github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-19 23:37:13 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
7aa495fd3f824250e8e181247e6d79169b374c9d
zyedidia.micro/runtime/plugins/linter
History
Andriamanitra b9f1fc8da2 add missing linters to help linter
2025-02-07 23:56:25 +02:00
..
help
add missing linters to help linter
2025-02-07 23:56:25 +02:00
linter.lua
…