github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-28 01:40:19 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
16e9068cb97f7dc1027e3277e97600ead90fb50b
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