This repository has been archived by the owner on Jun 4, 2024. It is now read-only.
Issue 545 - Case-insensitive option for filters#609
Closed
dmt0 wants to merge 13 commits intodevfrom case-insensitive-filters
+976-352
Commits
Commits on Oct 9, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 10, 2019
- committed
- committed
- committed
Commits on Oct 11, 2019
- committed