github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-11 07:02:44 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
cf06d06fb3c2441d3d07c1f1dca881f22b54b13d
zyedidia.micro/cmd
History
Zachary Yedidia 16e9068cb9 Support line:col in JumpLine 
Closes #1000
2018-01-17 19:09:50 -05:00
..
micro
Support line:col in JumpLine
2018-01-17 19:09:50 -05:00