diff options
author | Daniel <kingdread@gmx.de> | 2020-05-12 14:19:18 +0200 |
---|---|---|
committer | Daniel <kingdread@gmx.de> | 2020-05-12 14:19:18 +0200 |
commit | b2e87338ff60851db8326abf50555bf65b311810 (patch) | |
tree | 9e9b9579985016f10f6cbb1ca70fcbcd26f10982 /src/csl.rs | |
parent | 331dbac270273889111a3cd4bb73d16eeaf5ebde (diff) | |
download | raidgrep-b2e87338ff60851db8326abf50555bf65b311810.tar.gz raidgrep-b2e87338ff60851db8326abf50555bf65b311810.tar.bz2 raidgrep-b2e87338ff60851db8326abf50555bf65b311810.zip |
make regular expressions case-insensitive
Most users probably don't need the capitalization, and character names
always have a predefined capitalization anyway.
Diffstat (limited to 'src/csl.rs')
0 files changed, 0 insertions, 0 deletions