github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-09 14:20:16 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
5701ed211add9e9409915e36a4b571e8fdef1dad
zyedidia.micro/cmd/micro/info
History
Zachary Yedidia 2f7858ce25 Gutter message support
2019-12-25 17:05:10 -05:00
..
gutter.go
Add infobar
2019-12-25 17:05:10 -05:00
history.go
Infobar history
2019-12-25 17:05:10 -05:00
infobuffer.go
Gutter message support
2019-12-25 17:05:10 -05:00