Adds extensions.json file

Optionally installs GitHub Actions extension when requested
cr2007 · Jul 31, 2023 · 245e8fe · 245e8fe
1 parent be364e0
commit 245e8fe
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/.vscode/extensions.json b/.vscode/extensions.json
@@ -0,0 +1,11 @@
+{
+	"recommendations": [
+		"James-Yu.latex-workshop",
+		"vscode-icons-team.vscode-icons",
+		"eamodio.gitlens",
+		"mhutchie.git-graph",
+		"VisualStudioExptTeam.vscodeintellicode",
+		"EditorConfig.EditorConfig",
+		"github.vscode-github-actions"
+	]
+}