Skip to content

chore: remove deprecated devtools option#38392

Merged
dgozman merged 1 commit intomicrosoft:mainfrom
dgozman:chore-remove-devtools-option
Dec 3, 2025
Merged

chore: remove deprecated `devtools` option#38392
dgozman merged 1 commit intomicrosoft:mainfrom
dgozman:chore-remove-devtools-option

Commits

Commits on Dec 3, 2025