Skip to content

chore: Rename Preferences to Settings#1487

Merged
BrunoQuaresma merged 3 commits intomainfrom
bq/chore-update-preferences-to-settings
May 16, 2022

Commits

Commits on May 16, 2022