8000 Devtools: make filtering case-insensitive by t3chguy · Pull Request #5387 · element-hq/element-web · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Devtools: make filtering case-insensitive#5387

Merged
lukebarnard1 merged 3 commits intodevelopfrom
t3chguy/devtools-filter-case-sens
Oct 25, 2017
Merged

Devtools: make filtering case-insensitive#5387
lukebarnard1 merged 3 commits intodevelopfrom
t3chguy/devtools-filter-case-sens

Commits

Commits on Oct 23, 2017
0