Skip to content

Dev UI Move info to menu item and format page for known items#32708

Merged
geoand merged 1 commit intoquarkusio:mainfrom phillip-kruger:dev-ui-info-fixApr 18, 2023
+288-17

Commits

Commits on Apr 18, 2023