Let Dev UI pick up a ToolProvider when it's not registered as a Supplier#1203

Merged

jmartisk merged 1 commit intoquarkiverse:mainfrom jmartisk:dev-ui-tool-provider

Jan 8, 2025

+14-4

Commits on Jan 8, 2025

Let Dev UI pick up a ToolProvider when it's not registered as a Supplier
jmartisk
committed