aboutsummaryrefslogtreecommitdiff
path: root/runtime/queries/lean
diff options
context:
space:
mode:
authorSkyler Hawthorne2022-08-07 04:00:15 +0000
committerSkyler Hawthorne2022-10-19 02:31:39 +0000
commitfaa00d4cc3de89a89679f6315c0345182929beb2 (patch)
treeb694de9822043484f3e6631c96f32bfb10e7f223 /runtime/queries/lean
parent8c667ef8deea1311a8e9569909ac11d79cc993ed (diff)
increase LSP shutdown timeout
The Clang LAP takes a long time to shut down on Windows
Diffstat (limited to 'runtime/queries/lean')
0 files changed, 0 insertions, 0 deletions