diff options
author | Adolfo Jayme Barrientos <fitojb@ubuntu.com> | 2017-03-29 21:05:35 -0600 |
---|---|---|
committer | Adolfo Jayme Barrientos <fitojb@ubuntu.com> | 2017-03-29 21:05:35 -0600 |
commit | 1cd7edadfedc8bf55b979449cbb084082a888e89 (patch) | |
tree | 04879ac0bdcd184fe8305401df15ef713cb4aa77 /librelogo | |
parent | 726b34c9c788af74bea005f2717e4c1da4814183 (diff) |
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
Diffstat (limited to 'librelogo')
-rw-r--r-- | librelogo/source/pythonpath/LibreLogo_en_US.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/librelogo/source/pythonpath/LibreLogo_en_US.properties b/librelogo/source/pythonpath/LibreLogo_en_US.properties index c943d307f7dd..a74819f06f9c 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 |