github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-15 11:30:22 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
cb7553181822ea0f95a5d50e1d64d0cdb2a888b2
zyedidia.micro/cmd
History
Zachary Yedidia cb75531818 Make mouse option global option 
Fixes #816
2017-09-21 17:10:53 -04:00
..
micro
Make mouse option global option
2017-09-21 17:10:53 -04:00