Skip to content

chore: remove deprecated devtools option#38392

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

chore: remove deprecated devtools option#38392
dgozman merged 1 commit into
microsoft:mainfrom
dgozman:chore-remove-devtools-option

chore: remove deprecated `devtools` option

0cc0eb6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view