diff options
author | David Sherret <dsherret@users.noreply.github.com> | 2023-04-01 12:02:44 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-01 12:02:44 -0400 |
commit | bac8e4f6f25367cf5b6c2095249cf144035a4fbd (patch) | |
tree | 75f4c3f2174d1481d95942fd8200bc4fb8475b18 /runtime/js/13_buffer.js | |
parent | ae1ba2af3c0dc45de074285f0e0a8440cf2895ec (diff) |
fix(repl): disable language server document preloading in the repl (#18543)
This was an oversight because the repl uses the language server under
the hood. Also, never preloads from a root directory.
Part of #18538
Diffstat (limited to 'runtime/js/13_buffer.js')
0 files changed, 0 insertions, 0 deletions