github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-30 14:47:16 +09:00
Code Issues Packages Projects Releases Wiki Activity
151 Commits 24 Branches 41 Tags
8fdf99854ea6235279bea73ed622dd8f7e878040
Commit Graph

4 Commits

Author SHA1 Message Date
Zachary Yedidia
8fdf99854e Add next match functionality for search 2016-04-17 14:10:49 -04:00
Zachary Yedidia
35eccf26d4 Implement better search functionality (not finished) 2016-04-17 09:24:14 -04:00
Zachary Yedidia
aaaa0db2ef Update todolist 2016-04-16 09:58:11 -04:00
Zachary Yedidia
3034496850 Improve the search functionality and improve selection 2016-04-16 09:55:52 -04:00