diff options
| author | Julian Berman <Julian@GrayVines.com> | 2021-06-27 08:12:59 +0200 |
|---|---|---|
| committer | Julian Berman <Julian@GrayVines.com> | 2021-06-27 13:46:07 +0200 |
| commit | 7e7a2f3c4b26be058c335b97fd9da11ae55a8266 (patch) | |
| tree | 509de874e156b9f9c42bf39c8e9a93d6040cfee2 /scripts/vimdocgen.lua | |
| parent | [docgen] Update CONFIG.md (diff) | |
| download | nvim-lspconfig-7e7a2f3c4b26be058c335b97fd9da11ae55a8266.tar nvim-lspconfig-7e7a2f3c4b26be058c335b97fd9da11ae55a8266.tar.gz nvim-lspconfig-7e7a2f3c4b26be058c335b97fd9da11ae55a8266.tar.bz2 nvim-lspconfig-7e7a2f3c4b26be058c335b97fd9da11ae55a8266.tar.lz nvim-lspconfig-7e7a2f3c4b26be058c335b97fd9da11ae55a8266.tar.xz nvim-lspconfig-7e7a2f3c4b26be058c335b97fd9da11ae55a8266.tar.zst nvim-lspconfig-7e7a2f3c4b26be058c335b97fd9da11ae55a8266.zip | |
improve(lean3ls): increase the default memory and timeout limits
Matches our VSCode's default found here:
https://github.com/leanprover/vscode-lean/blob/ca764c60acbfaeaca55a681bc0be65f84b0cae44/package.json#L32-L41
Diffstat (limited to 'scripts/vimdocgen.lua')
0 files changed, 0 insertions, 0 deletions