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 /book/src | |
| parent | 31b8b728a2ba5585a66da4f3dab279b08bd5600a (diff) | |
Bail if no language servers support workspace symbols (#7286)
Diffstat (limited to 'book/src')
0 files changed, 0 insertions, 0 deletions