Rename Preferences to Settings #840
Triggered via pull request
October 26, 2023 19:21
Jerry23011
Jerry23011
opened
#195
Status
Success
Total duration
42s
Artifacts
–