Upgrade to Java Debug Server for jdt.ls version 0.47.0

dansomething · Jul 12, 2023 · 535510e · 535510e
1 parent 8a19d4d
commit 535510e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/package.json b/package.json
@@ -68,7 +68,7 @@
       }
     ],
     "javaExtensions": [
-      "./server/com.microsoft.java.debug.plugin-0.40.0.jar"
+      "./server/com.microsoft.java.debug.plugin-0.47.0.jar"
     ],
     "configuration": {
       "type": "object",

diff --git a/...om.microsoft.java.debug.plugin-0.40.0.jar → ...om.microsoft.java.debug.plugin-0.47.0.jar b/...om.microsoft.java.debug.plugin-0.40.0.jar → ...om.microsoft.java.debug.plugin-0.47.0.jar