github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-04 20:00:30 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
77d8a2217f9b4fd9cc27e2a8c99852d4ac3c0f6d
zyedidia.micro/runtime/help
History
Zachary Yedidia 363697a657 Fix capitalization of scrollSpeed option 
Closes #114
2016-05-17 12:53:46 -04:00
..
help.md
Fix capitalization of scrollSpeed option
2016-05-17 12:53:46 -04:00