jdtls: Update to version 1.31.0-202312061813

This commit is contained in:
github-actions[bot] 2023-12-06 20:25:22 +00:00
parent 53f1419b36
commit cd85cc841d

View File

@ -1,5 +1,5 @@
{
"version": "1.31.0-202312052114",
"version": "1.31.0-202312061813",
"description": "Java language server",
"homepage": "https://projects.eclipse.org/projects/eclipse.jdt.ls",
"license": "EPL-2.0",
@ -7,8 +7,8 @@
"JDK": "java/openjdk",
"Python": "python"
},
"url": "https://download.eclipse.org/jdtls/snapshots/jdt-language-server-1.31.0-202312052114.tar.gz",
"hash": "bc77fc59209c27b7bf70dd48f8d0ff480846420b958e4e62db107a448106b7c4",
"url": "https://download.eclipse.org/jdtls/snapshots/jdt-language-server-1.31.0-202312061813.tar.gz",
"hash": "be0670eb07d9659e4f8eed323fbb8ce161e0e4e3a35a88c7c556fa225727ded8",
"installer": {
"script": "shim (search_in_path python.exe) $global jdtls \"$dir\\bin\\jdtls\""
},