github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-06 15:10:27 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
363697a65756de0026587e40783b46d9b4487d38
zyedidia.micro/cmd
History
Zachary Yedidia 363697a657 Fix capitalization of scrollSpeed option 
Closes #114
2016-05-17 12:53:46 -04:00
..
micro
Fix capitalization of scrollSpeed option
2016-05-17 12:53:46 -04:00