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/filters/player.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/filters/player.rs')
0 files changed, 0 insertions, 0 deletions