Skip to content

fix(discovery): merge all three VS Code scopes, and let $IRIS_NAMESPACE outrank the editor - #191

Merged
PYDuquesnoy merged 1 commit into
masterfrom
fix/vscode-user-scope-settings
Sep 3, 2026
Merged

fix(discovery): merge all three VS Code scopes, and let $IRIS_NAMESPACE outrank the editor#191
PYDuquesnoy merged 1 commit into
masterfrom
fix/vscode-user-scope-settings

fix(discovery): merge all three VS Code scopes, and let $IRIS_NAMESPA…

7533cc4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
windows-handshake
succeeded Sep 3, 2026 in 1m 34s