Skip to content

Remove old Dev UI: Extension and Core#35317

Merged
phillip-kruger merged 1 commit intoquarkusio:mainfrom phillip-kruger:dev-ui-remove-extensionsAug 19, 2023

Commits

Commits on Aug 19, 2023