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/editdive.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/editdive.jpg')
0 files changed, 0 insertions, 0 deletions