github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-10 22:52:51 +09:00
Code Issues Packages Projects Releases Wiki Activity
1,958 Commits 24 Branches 41 Tags
9127152d930ae9bd34473bb2d2256fa301fcc2fd
Commit Graph

3 Commits

Author SHA1 Message Date
Zachary Yedidia
b68461cf72 Terminal plugin callback support 2019-12-25 17:05:11 -05:00
Zachary Yedidia
4027081e0e Add linter plugin support 2019-12-25 17:05:10 -05:00
Zachary Yedidia
e7e0272968 Jobs and gutter messages for plugins 2019-12-25 17:05:10 -05:00