From 158ffdf7c3c0f28cfe30773a440b5300f12c3f4f Mon Sep 17 00:00:00 2001 From: Alex Ross Date: Fri, 25 Oct 2019 15:01:28 +0200 Subject: [PATCH] Add profiles.json to jsonc files for Windows terminal Related to https://github.com/microsoft/terminal/issues/3183 and Fixes https://github.com/microsoft/vscode/issues/78559 --- extensions/configuration-editing/package.json | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/extensions/configuration-editing/package.json b/extensions/configuration-editing/package.json index bd10c038f8a..b8c30790e47 100644 --- a/extensions/configuration-editing/package.json +++ b/extensions/configuration-editing/package.json @@ -38,7 +38,8 @@ "tasks.json", "keybindings.json", "extensions.json", - "argv.json" + "argv.json", + "profiles.json" ] } ],