From 5ff33224ed4a8e6bfb3fdc9924c5a0c82250c4dc Mon Sep 17 00:00:00 2001
From: Paulus Schoutsen <balloob@gmail.com>
Date: Mon, 15 Jul 2019 13:15:50 -0700
Subject: [PATCH] Remove unused keys

---
 src/translations/en.json | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/translations/en.json b/src/translations/en.json
index e99b5329a1..9d537ab07f 100644
--- a/src/translations/en.json
+++ b/src/translations/en.json
@@ -546,9 +546,7 @@
       "connection_lost": "Connection lost. Reconnecting…"
     },
     "sidebar": {
-      "developer_tools": "Developer tools",
-      "external_app_configuration": "App Configuration",
-      "log_out": "Log out"
+      "external_app_configuration": "App Configuration"
     },
     "panel": {
       "config": {