Update devcontainer.json

icub-tech-iit · Oct 14, 2024 · f243fbc · f243fbc
1 parent 70f4715
commit f243fbc
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -3,7 +3,6 @@
 	"build": {
 		"dockerfile": "Dockerfile"
 	},
-	"extensions": [],
 	"forwardPorts": [8000],
 	"remoteUser": "gitpod"
 }