diff options
| author | Benedict Börger <benedict@0xb8000.de> | 2019-07-08 23:34:01 +0200 |
|---|---|---|
| committer | Benedict Börger <benedict@0xb8000.de> | 2019-07-08 23:34:01 +0200 |
| commit | fd7d78bf9662429ca600564f22e3a8699b3fac18 (patch) | |
| tree | faed99e51bcbc9a54e930c410df3f994da0e8dbd /src/web_frontend/mod.rs | |
| parent | 9868128558bed0a1767b2b2880bb53e0e7d10154 (diff) | |
[web_frontend][util] make filtering case insenstive
Diffstat (limited to 'src/web_frontend/mod.rs')
0 files changed, 0 insertions, 0 deletions