Skip to content

Remove terminal-exclusive resource keys now served by TerminalResources#9260

Merged
Evangelink merged 1 commit into
mainfrom
copilot/dedup-platform-terminal-resources
Jun 19, 2026
Merged

Remove terminal-exclusive resource keys now served by TerminalResources#9260
Evangelink merged 1 commit into
mainfrom
copilot/dedup-platform-terminal-resources