docs: Direct Java extension users to JDTLS initialization options (#19401)
Continuation of #19390
V
Valentine Briese committed
6a463be1aeb0f011810e57689a062ccce2509361
Parent: 64a6e9c
Committed by GitHub <noreply@github.com>
on 10/18/2024, 7:02:42 PM