Skip to content

chore: Rename Preferences to Settings#1487

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

chore: Rename Preferences to Settings#1487
BrunoQuaresma merged 3 commits intomainfrom
bq/chore-update-preferences-to-settings

Commits

Commits on May 16, 2022