From e942cd206970785ac1ac5c97d91958dfebebab07 Mon Sep 17 00:00:00 2001 From: Moriz Wahl Date: Tue, 5 Apr 2022 14:35:35 +0200 Subject: [PATCH] remove unused locale due to deletion of pagination component --- frontend/src/locales/de.json | 1 - frontend/src/locales/en.json | 1 - 2 files changed, 2 deletions(-) diff --git a/frontend/src/locales/de.json b/frontend/src/locales/de.json index 80f7ded25..600b36e65 100644 --- a/frontend/src/locales/de.json +++ b/frontend/src/locales/de.json @@ -143,7 +143,6 @@ "login": "Anmeldung", "math": { "aprox": "~", - "div": "/", "equal": "=", "exclaim": "!", "pipe": "|" diff --git a/frontend/src/locales/en.json b/frontend/src/locales/en.json index 500cceaae..ef9a14c0a 100644 --- a/frontend/src/locales/en.json +++ b/frontend/src/locales/en.json @@ -143,7 +143,6 @@ "login": "Login", "math": { "aprox": "~", - "div": "/", "equal": "=", "exclaim": "!", "pipe": "|"