Skip to content

feat: add disabledTools setting to globally disable native tools#11277

Merged
jr merged 2 commits intomainfrom
feature/ext-778-add-disabledtools-setting-to-globally-disable-native-tools
Feb 6, 2026
Merged

feat: add disabledTools setting to globally disable native tools#11277
jr merged 2 commits intomainfrom
feature/ext-778-add-disabledtools-setting-to-globally-disable-native-tools

Commits

Commits on Feb 6, 2026