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,738 Commits 24 Branches 41 Tags
b43c5ed3e7489da6fe2cbe7225403f3e36ef99e4
Commit Graph

4 Commits

Author SHA1 Message Date
Zachary Yedidia
b43c5ed3e7 Reorganize info bar 2019-01-01 22:36:12 -05:00
Zachary Yedidia
adc70af0be Minor infobar improvements 2019-01-01 17:54:29 -05:00
Zachary Yedidia
90ae39322a Infobar prompts 2018-12-31 23:47:24 -05:00
Zachary Yedidia
f79d45aafb Add infobar 2018-12-31 22:07:01 -05:00