jdtls: Update to version 1.25.0-202306120514

This commit is contained in:
github-actions[bot] 2023-06-12 08:26:46 +00:00
parent 346f250521
commit 15af034198

View File

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