diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2017-11-17 15:50:18 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2017-11-17 20:55:09 +0100 |
commit | ad199c396478a7165da1eb6909ccb28f124b0240 (patch) | |
tree | 4200330e72fbcec57dfec102cc7c9e5d1d3bbc70 /core | |
parent | 73049d115e190b8c356f0689a9079c3c73cc5765 (diff) |
EditorSettings: Rename settings_path to settings_dir
Also to prepare for upcoming refactoring for XDG support.
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions