Skip to content

Reference Settings, not Preferences#2901

Merged
philrz merged 1 commit intomainfrom settings-not-prefsNov 21, 2023

Commits

Commits on Nov 20, 2023