From 31139b023646981e65ec09e2b86cee27a8d7793f Mon Sep 17 00:00:00 2001 From: Mateus <94379499+mattdalpi@users.noreply.github.com> Date: Tue, 22 Nov 2022 19:00:01 +0000 Subject: [PATCH] Remove conflicting extension --- .devcontainer/devcontainer.json | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 61cc4b1..3defa6e 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -22,8 +22,7 @@ "tintinweb.vscode-inline-bookmarks", "tintinweb.solidity-visual-auditor", "tintinweb.solidity-metrics", - "tintinweb.graphviz-interactive-preview", - "JuanBlanco.solidity" + "tintinweb.graphviz-interactive-preview" ] } },