diff options
| author |  Miika Turkia <miika.turkia@gmail.com> | 2016-02-08 07:38:24 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2016-02-08 08:00:27 -0800 |
| commit | d97ae62c754905047d5a12e1bc6741764c83d538 (patch) | |
| tree | 20ccbe6df05139371731ba894c0d6da08fea090e /Documentation/mobile-images/map.jpg | |
| parent | 8eb019456d341e676d5152a9e4b8df6b7a502b96 (diff) | |
| download | subsurface-d97ae62c754905047d5a12e1bc6741764c83d538.tar.gz | |
Move preferences under GPS menu
Since we currently only have preferences that affect the GPS
functionality, it might be more logical to have the preferences under
GPS menu.
Signed-off-by: Miika Turkia <miika.turkia@gmail.com>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/mobile-images/map.jpg')
0 files changed, 0 insertions, 0 deletions