diff options
| author | David | 2022-04-08 13:36:10 +0000 |
|---|---|---|
| committer | GitHub | 2022-04-08 13:36:10 +0000 |
| commit | b5efb9d66cfb582eec0b96174d856c8f7e43d82c (patch) | |
| tree | 18e8f9c76b933dcaddb061e6a2ee5718d63ca37b /runtime | |
| parent | 581ac5660fdb0ae5d0dfe2bc9fd95e0333b68c5c (diff) | |
Add default language server for HTML (#2018)
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions