From f01225e40007afade0512ba780f3c0ce66176d53 Mon Sep 17 00:00:00 2001 From: elweyn Date: Tue, 26 Jul 2022 11:21:57 +0200 Subject: [PATCH] Remove unused locales. --- frontend/src/locales/de.json | 2 -- frontend/src/locales/en.json | 2 -- 2 files changed, 4 deletions(-) diff --git a/frontend/src/locales/de.json b/frontend/src/locales/de.json index ef81d463e..62edd9815 100644 --- a/frontend/src/locales/de.json +++ b/frontend/src/locales/de.json @@ -203,10 +203,8 @@ "login": "Anmeldung", "math": { "aprox": "~", - "divide": "/", "equal": "=", "exclaim": "!", - "lower": "<", "minus": "−", "pipe": "|" }, diff --git a/frontend/src/locales/en.json b/frontend/src/locales/en.json index 47753487d..1cbdc5a8a 100644 --- a/frontend/src/locales/en.json +++ b/frontend/src/locales/en.json @@ -203,10 +203,8 @@ "login": "Login", "math": { "aprox": "~", - "divide": "/", "equal": "=", "exclaim": "!", - "lower": "<", "minus": "−", "pipe": "|" },