From 365290669dea0e29344436775ccff6269655eb4f Mon Sep 17 00:00:00 2001
From: Manfred Brandl <manfred@brandl.net>
Date: Fri, 27 Oct 2017 18:11:55 +0200
Subject: [PATCH] remove duplicate key geolocate

---
 modules/ui/help.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/modules/ui/help.js b/modules/ui/help.js
index 344e45c77..e5703bf71 100644
--- a/modules/ui/help.js
+++ b/modules/ui/help.js
@@ -73,7 +73,6 @@ export function uiHelp(context) {
           down: icon('#icon-down', 'pre-text'),
           up: icon('#icon-up', 'pre-text'),
           inspect: icon('#icon-inspect', 'pre-text'),
-          geolocate: icon('#icon-geolocate', 'pre-text'),
           move: icon('#operation-move', 'pre-text'),
           merge: icon('#operation-merge', 'pre-text'),
           copy: icon('#operation-copy', 'pre-text'),