aboutsummaryrefslogtreecommitdiff
path: root/main/data/shortcuts.ui
diff options
context:
space:
mode:
authorChristopher Davis <christopherdavis@gnome.org>2023-02-08 19:23:42 -0500
committerfiaxh <fiaxh@users.noreply.github.com>2023-02-09 11:36:33 +0100
commit5eab892a2412260e9eb4dec3f661ea2f8bd9171f (patch)
tree8c37df189b5128182399e0a4e91711a7035d3ec5 /main/data/shortcuts.ui
parentb19986a68513f0605dd003dad1e0759380f23835 (diff)
downloaddino-5eab892a2412260e9eb4dec3f661ea2f8bd9171f.tar.gz
dino-5eab892a2412260e9eb4dec3f661ea2f8bd9171f.zip
menu_app: Rename Settings to Preferences
The standard name in GNOME applications is Preferences.
Diffstat (limited to 'main/data/shortcuts.ui')
0 files changed, 0 insertions, 0 deletions