Remove unused keys

2019-07-15 13:15:50 -07:00
parent 07dee9c5bb
commit 5ff33224ed
1 changed files with 1 additions and 3 deletions
@@ -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": {