commit 1cd7edadfedc8bf55b979449cbb084082a888e89
author Adolfo Jayme Barrientos <fitojb@ubuntu.com> Wed Mar 29 21:05:35 2017 -0600
committer Adolfo Jayme Barrientos <fitojb@ubuntu.com> Wed Mar 29 21:05:35 2017 -0600
tree 04879ac0bdcd184fe8305401df15ef713cb4aa77
parent 726b34c9c788af74bea005f2717e4c1da4814183

Wrong Unicode character reference

Isn’t it better to just use the desired characters directly,
given that “\uHEX”-style references are so error-prone?

Change-Id: I307b1fad7a9e0a23a38925e3c84829f823decf6e

librelogo/source/pythonpath/LibreLogo_en_US.properties

diff --git a/librelogo/source/pythonpath/LibreLogo_en_US.properties b/librelogo/source/pythonpath/LibreLogo_en_US.properties
index c943d30..a74819f 100644
--- a/librelogo/source/pythonpath/LibreLogo_en_US.properties
+++ b/librelogo/source/pythonpath/LibreLogo_en_US.properties
@@ -143,7 +143,7 @@ BROWN=brown
LIBRELOGO=LibreLogo
ERROR=Error (in line %s)
ERR_ZERODIVISION=Division by zero.
ERR_NAME=Unknown name: \u2018%s\u201d.
ERR_NAME=Unknown name: \u201c%s\u201d.
ERR_ARGUMENTS=%s takes %s arguments (%s given).
ERR_BLOCK=Error (extra or missing spaces at brackets?)
ERR_KEY=Unknown element: %s