diff options
author | Rasmus Andersson <rasmus@notion.se> | 2022-08-04 19:05:53 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2022-08-04 19:05:53 +0300 |
commit | 254473eaa3f8f9e3859fa04de99fe6f89bf2715e (patch) | |
tree | 25d7ba84a6c91e339b33678b66751807217e1798 /src/Inter.glyphspackage/glyphs/ratio.glyph | |
parent | 81479c7905b829d1b4ceb80c9ce30a71dcd29ec2 (diff) | |
download | inter-254473eaa3f8f9e3859fa04de99fe6f89bf2715e.tar.xz |
move U+EE01 unicode mapping from /uniEE01 -> /ratio (codepoint used by Android OS) and remove now-unused /uniEE01. Related to #212
Diffstat (limited to 'src/Inter.glyphspackage/glyphs/ratio.glyph')
-rw-r--r-- | src/Inter.glyphspackage/glyphs/ratio.glyph | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Inter.glyphspackage/glyphs/ratio.glyph b/src/Inter.glyphspackage/glyphs/ratio.glyph index 35f61da97..f12fbf543 100644 --- a/src/Inter.glyphspackage/glyphs/ratio.glyph +++ b/src/Inter.glyphspackage/glyphs/ratio.glyph @@ -124,6 +124,6 @@ ref = colon.case; width = 400; } ); -note = "mathematical ratio operator"; -unicode = 8758; +note = "mathematical ratio operator.\012\012EE01 is a codepoint Android OS uses for the same glyph. See https://github.com/rsms/inter/pull/212"; +unicode = (8758,60929); } |