diff options
author | Michael Davis | 2023-06-08 00:48:11 +0000 |
---|---|---|
committer | GitHub | 2023-06-08 00:48:11 +0000 |
commit | d4427125eb9f1f6936fae4c8569feb0893b76155 (patch) | |
tree | 6a60ce6beb37ca90036aa3e1eb3728ab391281f7 /runtime/queries/r | |
parent | 31b8b728a2ba5585a66da4f3dab279b08bd5600a (diff) |
Bail if no language servers support workspace symbols (#7286)
Diffstat (limited to 'runtime/queries/r')
0 files changed, 0 insertions, 0 deletions