diff options
| author | groud <gilles.roudiere@gmail.com> | 2018-09-13 17:35:44 +0200 |
|---|---|---|
| committer | groud <gilles.roudiere@gmail.com> | 2018-09-14 10:22:07 +0200 |
| commit | 796418aa11aa9e22ae9e182937e37718e7bb8a0b (patch) | |
| tree | 820575dfa0259389063efa5dfe761111556293e7 /editor/editor_fonts.h | |
| parent | b2633a97b9efa7b926d6682342480c5ccb482369 (diff) | |
Merge the disable_split and show_files_in_tree settings
Diffstat (limited to 'editor/editor_fonts.h')
0 files changed, 0 insertions, 0 deletions