Skip to content

Dev UI indicate properties set by DevServices#19541

Merged
gsmet merged 1 commit intoquarkusio:mainfrom phillip-kruger:dev-ui-extension-configAug 28, 2021

Commits

Commits on Aug 26, 2021