github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-11 15:12:47 +09:00
Code Issues Packages Projects Releases Wiki Activity
1,747 Commits 24 Branches 41 Tags
e63a3c8917ef1086cceef4e57cfdbf84243dde43
Commit Graph

2 Commits

Author SHA1 Message Date
Zachary Yedidia
e63a3c8917 Implement searching 2019-01-03 15:27:43 -05:00
Zachary Yedidia
b43c5ed3e7 Reorganize info bar 2019-01-01 22:36:12 -05:00