Add "case-sensitive" note to UI. - Just a tentative suggestion. :)

Branch: quiddity/not-in-the-other-language:quiddity/add-casesensitive-note-to-ui-just-a-ten-1513197110974

Branch: magnusmanske/not-in-the-other-language:master

Merged

#2 · Created 2017-12-13 · Last updated 2017-12-14

Merged pull request

Merged in quiddity/not-in-the-other-language/quiddity/add-casesensitive-note-to-ui-just-a-ten-1513197110974 (pull request #2)

97c7ead·Author: Nick W·Closed by: Magnus Manske·2017-12-14

Add "case-sensitive" note to UI. - Just a tentative suggestion. :)