This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
topics:custom-ident-case-sensitivity [2013/03/13 10:01] – [Data entry] fantasai | topics:custom-ident-case-sensitivity [2014/12/09 15:48] (current) – external edit 127.0.0.1 | ||
---|---|---|---|
Line 50: | Line 50: | ||
objects, but these only map codepoints one-to-one and are not proper | objects, but these only map codepoints one-to-one and are not proper | ||
case folding.) | case folding.) | ||
+ | |||
+ | === Resolution === | ||
+ | |||
+ | Resolved on #3. | ||