From cd9fc0b0e8c57d52a16a2483083907a4e04f7eb9 Mon Sep 17 00:00:00 2001 From: Andy Li Date: Thu, 15 Aug 2019 01:20:04 +0800 Subject: [PATCH] Remove redundant "extensions" field. --- containers/debian-9-git/.devcontainer/devcontainer.json | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/containers/debian-9-git/.devcontainer/devcontainer.json b/containers/debian-9-git/.devcontainer/devcontainer.json index 57280b8adf..d12bf4fc6b 100644 --- a/containers/debian-9-git/.devcontainer/devcontainer.json +++ b/containers/debian-9-git/.devcontainer/devcontainer.json @@ -23,7 +23,4 @@ // Uncomment the next line to run commands after the container is created. // "postCreateCommand": "uname -a", - - // Add the IDs of any extensions you want installed in the array below. - "extensions": [] -} \ No newline at end of file +}