github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-10 14:42:47 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
7e80b1d0a9d5432d0c34da48b2c3703374962579
zyedidia.micro/cmd/micro/info
History
Zachary Yedidia e4e99b03d3 Split improvements
2019-01-05 16:27:04 -05:00
..
gutter.go
Add infobar
2018-12-31 22:07:01 -05:00
history.go
Infobar history
2019-01-03 17:07:28 -05:00
infobuffer.go
Split improvements
2019-01-05 16:27:04 -05:00