diff options
| author | Christopher Davis <christopherdavis@gnome.org> | 2023-02-08 19:23:42 -0500 |
|---|---|---|
| committer | fiaxh <fiaxh@users.noreply.github.com> | 2023-02-09 11:36:33 +0100 |
| commit | 5eab892a2412260e9eb4dec3f661ea2f8bd9171f (patch) | |
| tree | 8c37df189b5128182399e0a4e91711a7035d3ec5 /main/src | |
| parent | b19986a68513f0605dd003dad1e0759380f23835 (diff) | |
| download | dino-5eab892a2412260e9eb4dec3f661ea2f8bd9171f.tar.gz dino-5eab892a2412260e9eb4dec3f661ea2f8bd9171f.zip | |
menu_app: Rename Settings to Preferences
The standard name in GNOME applications is Preferences.
Diffstat (limited to 'main/src')
0 files changed, 0 insertions, 0 deletions