Dev UI: Implement the config filter by extension#32863

Merged

gsmet merged 1 commit intoquarkusio:mainfrom phillip-kruger:dev-ui-filtered-config

Apr 25, 2023

+37-16

Commits on Apr 24, 2023

implement the config filter by extension
phillip-kruger
committed