github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-06 23:20:18 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
78ce7a5f0f397c6723c162e6bccfd79e1bd79235
zyedidia.micro/cmd/micro/info
History
Zachary Yedidia 78ce7a5f0f Minor infobar improvements
2019-12-25 17:05:10 -05:00
..
gutter.go
Add infobar
2019-12-25 17:05:10 -05:00
history.go
Add infobar
2019-12-25 17:05:10 -05:00
infobar.go
Minor infobar improvements
2019-12-25 17:05:10 -05:00