Skip to content
Snippets Groups Projects
Unverified Commit b1aaaf30 authored by xgui3783's avatar xgui3783 Committed by GitHub
Browse files

Merge pull request #1384 from FZJ-INM1-BDA/fix_miniSearchBar

fix: min tray filtering
parents 75962d85 45a1c57e
No related branches found
No related tags found
No related merge requests found
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment