jdtls: Update to version 1.25.0-202306011950

This commit is contained in:
github-actions[bot] 2023-06-01 20:25:38 +00:00
parent e56cc39271
commit 57d20032c4

View File

@ -1,5 +1,5 @@
{
"version": "1.24.0-202306011237",
"version": "1.25.0-202306011950",
"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.24.0-202306011237.tar.gz",
"hash": "3a6f7859e9284c8b8906d822790f1739ee80010c20e71270918f66365b2aba37",
"url": "https://download.eclipse.org/jdtls/snapshots/jdt-language-server-1.25.0-202306011950.tar.gz",
"hash": "482af34fbe81e7b87a682709ce43d2fff8cd4cfb867926024fe510c8a1cb6ee5",
"installer": {
"script": "shim (search_in_path python.exe) $global jdtls \"$dir\\bin\\jdtls\""
},