diff options
| author | Philipp Mildenberger | 2023-03-18 15:45:07 +0000 |
|---|---|---|
| committer | Philipp Mildenberger | 2023-05-18 19:48:32 +0000 |
| commit | dd2f74794a2ba6c45693d218079349d27828caec (patch) | |
| tree | 27ba33e2128c432dda5bffa36e148fa80d9d8af0 /.gitignore | |
| parent | 19f88fc5778b394b90dd9dec89fe3618c252b191 (diff) | |
Fix error messages when no language server is available
Co-authored-by: Skyler Hawthorne <skyler@dead10ck.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions