github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-16 22:07:09 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
315391b0aa740a0e1757dd098db9b2bf0c04ea5b
zyedidia.micro/runtime/plugins/ftoptions
History
Zachary Yedidia f364965ac0 Create ftoptions option to disable auto settings 
Closes #662
2017-05-19 18:17:38 -04:00
..
ftoptions.lua
Create ftoptions option to disable auto settings
2017-05-19 18:17:38 -04:00