Skip to content

Add a category to every builtin tool#520

Merged
dgageot merged 2 commits intodocker:mainfrom
dgageot:add-category
Oct 16, 2025
Merged

Add a category to every builtin tool#520
dgageot merged 2 commits intodocker:mainfrom
dgageot:add-category

Commits

Commits on Oct 16, 2025