jdtls: Update to version 1.31.0-202312071905

This commit is contained in:
github-actions[bot] 2023-12-07 20:24:26 +00:00
parent 0c9962aa25
commit 295069bad9

View File

@ -1,5 +1,5 @@
{
"version": "1.30.1-202312071447",
"version": "1.31.0-202312071905",
"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.30.1-202312071447.tar.gz",
"hash": "4c005ede9df73e60cfb8f611373808c9121286d3adbfb745384cced9f19b2de3",
"url": "https://download.eclipse.org/jdtls/snapshots/jdt-language-server-1.31.0-202312071905.tar.gz",
"hash": "685a60dcf5283127a3afe0955f52f97e126a10db80271a4865eec9b87e5c4ced",
"installer": {
"script": "shim (search_in_path python.exe) $global jdtls \"$dir\\bin\\jdtls\""
},