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