From 2ec439fb27881857b29fa8b02a90319e521103e1 Mon Sep 17 00:00:00 2001 From: Niels Laute Date: Wed, 11 Feb 2026 14:32:17 +0100 Subject: [PATCH] Update doc/devdocs/development/dev-with-vscode.md Co-authored-by: Noraa Junker --- doc/devdocs/development/dev-with-vscode.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/devdocs/development/dev-with-vscode.md b/doc/devdocs/development/dev-with-vscode.md index ab8ba57b99..877e4c04cb 100644 --- a/doc/devdocs/development/dev-with-vscode.md +++ b/doc/devdocs/development/dev-with-vscode.md @@ -15,7 +15,7 @@ VS Code extensions Needed: --- ## Building in VS Code -### Configure Developer PowerShell for VS for more convenient dev in VS Code +### Configure Developer PowerShell for VS for more convenient development experience in VS Code 1. Configure profile in settings, entry: `terminal.integrated.profiles.windows` 2. Add below config as entry (choose VS 2026 or VS 2022 based on your installation):