jdtls: Update to version 1.25.0-202306291518

This commit is contained in:
github-actions[bot] 2023-06-29 16:28:48 +00:00
parent 7f6610ada4
commit 26bf88681f

View File

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