Merge remote-tracking branch 'origin' into feature/tune

pull/546/head
Thomas Alcala Schneider 2 years ago
commit 4a4584e59f

@ -527,6 +527,8 @@ local servers = {
Lua = {
workspace = { checkThirdParty = false },
telemetry = { enable = false },
-- NOTE: toggle below to ignore Lua_LS's noisy `missing-fields` warnings
-- diagnostics = { disable = { 'missing-fields' } },
},
},
}

Loading…
Cancel
Save