Preferences instead of Settings renaming

This commit is contained in:
Michael Starke
2019-02-11 14:29:04 +01:00
parent 37ea36c8a6
commit d2077a55d8
16 changed files with 52 additions and 49 deletions