From e9e92cc95bfe6a705ae5d17e33ccff86357ec8e5 Mon Sep 17 00:00:00 2001 From: Gordon Williams Date: Thu, 7 Apr 2022 16:08:39 +0100 Subject: [PATCH] merge in https://github.com/espruino/EspruinoAppLoaderCore/pull/11 in such a way that we can use it from apps/locales as well (to avoid some duplication!) more characters added to list that need remapping --- apps/locale/locale.html | 3 ++- apps/locale/locales.js | 34 +++------------------------------- core | 2 +- 3 files changed, 6 insertions(+), 33 deletions(-) diff --git a/apps/locale/locale.html b/apps/locale/locale.html index bac938ffa..6eb0d94ea 100644 --- a/apps/locale/locale.html +++ b/apps/locale/locale.html @@ -16,6 +16,7 @@

Then click

+