Skip to content

Increase default language server timeout for Julia#4575

Merged
the-mikedavis merged 1 commit intohelix-editor:masterfrom ChrHorn:julia-timeoutNov 4, 2022
+1-1

Commits

Commits on Nov 3, 2022