jdtls: Update to version 1.25.0-202306192052

This commit is contained in:
github-actions[bot] 2023-06-20 00:34:11 +00:00
parent 80c469a7f5
commit d371d52cd1

View File

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