diff options
author | kirillrdy <kirillrdy@gmail.com> | 2024-01-24 06:19:20 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-01-24 06:19:20 +0900 |
commit | 64cab3aa8d98a09aaf360b9277b2f7837c064293 (patch) | |
tree | 8a2bd64b119acddaa88a0079735d57dcc1bd70cb /maintainers | |
parent | 927742e485e845f0a5798e14d93d88b2f1c6d12a (diff) | |
parent | 302dc9deb2f53178e384d6652ac09717699ecf95 (diff) |
Merge pull request #279285 from huantianad/jdtls-upgrade
jdt-language-server: 1.26.0 -> 1.31.0, use upstream wrapper
Diffstat (limited to 'maintainers')
0 files changed, 0 insertions, 0 deletions