zyedidia/micro
1
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2025-06-19 15:25:42 -04:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity
refactor2.0
micro/runtime/plugins/linter
History
Zachary Yedidia 94ff79e7b2 Lua prompt support and plugin improvements
2019-12-25 17:05:11 -05:00
..
info.json Add plugin info.json support 2019-12-25 17:05:11 -05:00
linter.lua Lua prompt support and plugin improvements 2019-12-25 17:05:11 -05:00