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

Commits

Commits on Sep 3, 2026