diff options
| author | Michael Lingelbach <m.j.lbach@gmail.com> | 2021-12-10 15:03:22 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-10 15:03:22 -0800 |
| commit | e6d95863a336b7e52c92b38c62aa60b469254d14 (patch) | |
| tree | a4d9d24818949c55761fbc54cbc177598fd8d75b /lua | |
| parent | docs: update server_configurations.md (diff) | |
| download | nvim-lspconfig-e6d95863a336b7e52c92b38c62aa60b469254d14.tar nvim-lspconfig-e6d95863a336b7e52c92b38c62aa60b469254d14.tar.gz nvim-lspconfig-e6d95863a336b7e52c92b38c62aa60b469254d14.tar.bz2 nvim-lspconfig-e6d95863a336b7e52c92b38c62aa60b469254d14.tar.lz nvim-lspconfig-e6d95863a336b7e52c92b38c62aa60b469254d14.tar.xz nvim-lspconfig-e6d95863a336b7e52c92b38c62aa60b469254d14.tar.zst nvim-lspconfig-e6d95863a336b7e52c92b38c62aa60b469254d14.zip | |
chore: format with stylua (#1557)
Diffstat (limited to 'lua')
| -rw-r--r-- | lua/lspconfig/server_configurations/lean3ls.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lua/lspconfig/server_configurations/lean3ls.lua b/lua/lspconfig/server_configurations/lean3ls.lua index cb5cd8f7..2ccf2128 100644 --- a/lua/lspconfig/server_configurations/lean3ls.lua +++ b/lua/lspconfig/server_configurations/lean3ls.lua @@ -12,7 +12,7 @@ return { default_config = { cmd = cmd, filetypes = { 'lean3' }, - offset_encoding = "utf-32", + offset_encoding = 'utf-32', root_dir = function(fname) -- check if inside elan stdlib local stdlib_dir |