jdtls: Update to version 1.25.0-202306150238

This commit is contained in:
github-actions[bot] 2023-06-15 04:25:57 +00:00
parent 9c0345970b
commit d957a1b9d5

View File

@ -1,5 +1,5 @@
{
"version": "1.25.0-202306120514",
"version": "1.25.0-202306150238",
"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.25.0-202306120514.tar.gz",
"hash": "da412f3ba27ab752fdb7519f257110c8baf64f59a83b66e4a8dc12f9b4e65de5",
"url": "https://download.eclipse.org/jdtls/snapshots/jdt-language-server-1.25.0-202306150238.tar.gz",
"hash": "b54bde914cb3511b2609cc5328d074f04cb79fccc78247f3a8a8a2ccd7823519",
"installer": {
"script": "shim (search_in_path python.exe) $global jdtls \"$dir\\bin\\jdtls\""
},