]>
2017-05-21 | Zachary Yedidia | Merge | tree | commitdiff |
2017-05-19 | Zachary Yedidia | Create ftoptions option to disable auto settings | tree | commitdiff |
2016-11-08 | Zachary Yedidia | Merge | tree | commitdiff |
2016-11-08 | Zachary Yedidia | Add default ftoptions plugin to override settings | tree | commitdiff |