From 9e23d9dde0f8a2ec43bde53f6f010d2ad025db42 Mon Sep 17 00:00:00 2001 From: "David J. Malan" Date: Wed, 27 Mar 2024 23:54:51 -0400 Subject: [PATCH] Update devcontainer.json --- devcontainer.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/devcontainer.json b/devcontainer.json index f0573028..31885647 100644 --- a/devcontainer.json +++ b/devcontainer.json @@ -133,7 +133,7 @@ "java.configuration.runtimes": [ { "name": "JavaSE-22", - "path": "/opt/jdk", /* env | grep JAVA_HOME (set in cs50/cli) */ + "path": "/opt/jdk", "default": true } ],