This repository was archived by the owner on Jan 30, 2025. It is now read-only.
modify some settings and update PreferencesManager#2723
Merged
bmarty merged 3 commits intoelement-hq:developfrom Nov 13, 2018
dkanada:settings
Merged
modify some settings and update PreferencesManager#2723bmarty merged 3 commits intoelement-hq:developfrom dkanada:settings
bmarty merged 3 commits intoelement-hq:developfrom
dkanada:settings
