Commit d327a17c authored by Andreas Hartmetz's avatar Andreas Hartmetz

filetree plugin: make filter case insensitive

It's the expected behavior for interactive search.
parent 6bc5bb7c
Pipeline #38732 failed with stages
in 2 minutes and 58 seconds