diff options
| author | Philipp Mildenberger | 2023-03-18 19:12:20 +0000 |
|---|---|---|
| committer | Philipp Mildenberger | 2023-05-18 19:48:32 +0000 |
| commit | 76b5cab52479daf25ffa0af798c1ebcf6a4f0004 (patch) | |
| tree | af2dc03114a05cb458518006ef16c3a74a28b097 /runtime/queries/lean | |
| parent | 0637691eb1fb7e2055fc04a0209be94906c2bd1a (diff) | |
Refactored doc.language_servers and doc.language_servers_with_feature to return an iterator and refactor LanguageServerFeature handling to a HashMap (language server name maps to features)
Co-authored-by: Pascal Kuthe <pascal.kuthe@semimod.de>
Diffstat (limited to 'runtime/queries/lean')
0 files changed, 0 insertions, 0 deletions