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
Files
74e55f03fe354e4b1129601d0511c08839d982e4
zyedidia.micro/cmd
History
Zachary Yedidia 74e55f03fe Merge pull request #130 from onodera-punpun/center_search 
Add a bit of "padding" to relocate.
2016-05-22 15:35:29 -04:00
..
micro
Merge pull request #130 from onodera-punpun/center_search
2016-05-22 15:35:29 -04:00