Skip to content

Make matching case insensitive#18

Merged
rogeliog merged 3 commits intomasterfrom case-insensitiveJul 8, 2018

Commits

Commits on Jul 6, 2018