zyedidia/micro
1
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2025-06-18 23:05:40 -04:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity
better-lua
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