Skip to content

feat(JSONTree): allow case insensitive search#1735

Merged
Raubzeug merged 3 commits intomainfrom
json-tree-search
Dec 5, 2024
Merged

feat(JSONTree): allow case insensitive search#1735
Raubzeug merged 3 commits intomainfrom
json-tree-search

Commits

Commits on Dec 5, 2024