diff options
| author | Adolfo Jayme Barrientos <fitojb@ubuntu.com> | 2020-03-21 13:29:18 -0600 |
|---|---|---|
| committer | Adolfo Jayme Barrientos <fitojb@ubuntu.com> | 2020-03-21 13:29:18 -0600 |
| commit | 3a02e4c424dcf61695c48b31aff4a5ff29acdb72 (patch) | |
| tree | c8b027b635201c42d276a1aec6ac7f791d31c32b /sw/source/core | |
| parent | 3eb14808495fc930c481ee6842574abf8f8608ab (diff) | |
Casual users don’t care about Unicode code points
It was too geeky to include this detail in the first place,
but the bigger problem was that no other options do.
Besides, the capitalization used here was wrong (menus are
title case).
Change-Id: Ia103850709739aedf43fda2b905143b991a9d43c
Diffstat (limited to 'sw/source/core')
0 files changed, 0 insertions, 0 deletions