Skip to content
This repository was archived by the owner on May 15, 2026. It is now read-only.

Show 'None' when a mode has no tool groups#3095

Merged
mrubens merged 1 commit into
mainfrom
better_no_tool_handling
May 1, 2025
Merged

Show 'None' when a mode has no tool groups#3095
mrubens merged 1 commit into
mainfrom
better_no_tool_handling

Show 'None' when a mode has no tool groups

98765c3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs