jdtls: Update to version 1.31.0-202312112220

This commit is contained in:
github-actions[bot] 2023-12-12 00:32:51 +00:00
parent 5dc38fdcb0
commit 46dfaf6dc3

View File

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