From cc4d8cfedcea89eef27cc6dfe43088f794d4950d Mon Sep 17 00:00:00 2001 From: Helium314 Date: Sat, 6 Jul 2024 07:42:55 +0200 Subject: [PATCH] remove unused rm.txt --- app/src/main/assets/locale_key_texts/rm.txt | 2 -- tools/diacritics.py | 4 ++-- 2 files changed, 2 insertions(+), 4 deletions(-) delete mode 100644 app/src/main/assets/locale_key_texts/rm.txt mode change 100644 => 100755 tools/diacritics.py diff --git a/app/src/main/assets/locale_key_texts/rm.txt b/app/src/main/assets/locale_key_texts/rm.txt deleted file mode 100644 index 864fab38..00000000 --- a/app/src/main/assets/locale_key_texts/rm.txt +++ /dev/null @@ -1,2 +0,0 @@ -[popup_keys] -o ò ó ö ô õ œ ø diff --git a/tools/diacritics.py b/tools/diacritics.py old mode 100644 new mode 100755 index d0e419f5..47744b23 --- a/tools/diacritics.py +++ b/tools/diacritics.py @@ -84,9 +84,9 @@ def read_diacritics() -> dict[str, list[str]]: with open(diacritics_file) as f: for line in f: if language == "": - language = line.strip() + language = line.split("#")[0].strip() else: - d[language] = list(map(str.strip, line.split(","))) + d[language] = list(map(str.strip, line.split("#")[0].split(","))) language = "" return d