From 211afab3a1626db15716a2b568f61d85ac4f24d3 Mon Sep 17 00:00:00 2001 From: Robin Jones Date: Sun, 28 May 2023 21:09:19 +0000 Subject: [PATCH] Remove un-necessary extensions --- .devcontainer/devcontainer.json | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 662f43a4..e2e43352 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -11,9 +11,7 @@ "vscode": { "extensions": [ "ms-vscode.cpptools", - "ms-vscode.makefile-tools", - "ms-vsliveshare.vsliveshare-pack", - "streetsidesoftware.code-spell-checker" + "ms-vscode.makefile-tools" ], "settings": { "git.ignoredRepositories": [