github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-19 15:27:20 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
d1e713ce08ba15a59b62207109b4d6bca46c7a9f
zyedidia.micro/runtime/plugins
History
Zachary Yedidia bc6dd990e5 Improve gutter messages
2019-12-25 17:05:11 -05:00
..
autoclose
Autoclose plugin support
2019-12-25 17:05:10 -05:00
comment
Add comment plugin support
2019-12-25 17:05:10 -05:00
ftoptions
…
linter
Improve gutter messages
2019-12-25 17:05:11 -05:00
literate
Add literate plugin support
2019-12-25 17:05:11 -05:00