diff options
| author | Nayeem Rahman <nayeemrmn99@gmail.com> | 2023-10-12 16:07:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-12 16:07:27 +0100 |
| commit | 5dd010a4fbeb0602891ea537b98216b8ad7d27a7 (patch) | |
| tree | 00686cddbe5de68262b9c4348e02df0c86bf8fc3 /ext/web/06_streams.js | |
| parent | eaeb10cee123b8184148c957151be226fb865bd2 (diff) | |
feat(lsp): send "deno/didChangeDenoConfiguration" notifications (#20827)
Diffstat (limited to 'ext/web/06_streams.js')
0 files changed, 0 insertions, 0 deletions