diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2018-12-31 09:53:21 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2019-01-22 13:03:13 +1300 |
| commit | 4935f07c9a7ee0bfb9827a0b2d12d0dfc814d3dc (patch) | |
| tree | 606b6abc80897110676865870ee8c4bc4c979e98 /scripts/mobilecomponents.sh | |
| parent | 9e83106ff702db282f8ffe57ac54746b3b02efa5 (diff) | |
| download | subsurface-4935f07c9a7ee0bfb9827a0b2d12d0dfc814d3dc.tar.gz | |
Desktop: change preferences dialog name to 'Preferences'
Fixes #1912
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'scripts/mobilecomponents.sh')
0 files changed, 0 insertions, 0 deletions