From 8f77c74372a042287fa4d316fb59150ad4cc1f11 Mon Sep 17 00:00:00 2001
From: JooYoung Seo <jseo1005@illinois.edu>
Date: Fri, 27 Oct 2023 19:49:16 -0500
Subject: [PATCH] VSCode extension: add edge devtools

---
 .vscode/extensions.json | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.vscode/extensions.json b/.vscode/extensions.json
index 0f03ea31..35013f7a 100644
--- a/.vscode/extensions.json
+++ b/.vscode/extensions.json
@@ -16,7 +16,8 @@
     "github.copilot-chat",
     "usernamehw.errorlens",
     "mhutchie.git-graph",
-    "eamodio.gitlens"
+    "eamodio.gitlens",
+    "ms-edgedevtools.vscode-edge-devtools"
   ],
   "unwantedRecommendations": ["ms-vscode.js-debug"]
 }