Skip to content

filetree plugin: make filter case insensitive

Andreas Hartmetz requested to merge filetree_search_case_insensitive into master

It's the expected behavior for interactive search.

Merge request reports