missed a nexted object

pull/511/head
Tommy Williams 2 years ago committed by GitHub
parent 6bcacb42c8
commit 83a369891b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

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

Loading…
Cancel
Save