Merge branch 'master' into main

This commit is contained in:
jfraeys 2024-09-15 15:37:24 +00:00 committed by GitHub
commit af69846b73
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions

View File

@ -185,6 +185,7 @@ return {
sign({ name = 'DiagnosticSignHint', text = '' })
sign({ name = 'DiagnosticSignInfo', text = '»' })
-- Neodev setup for improved Lua development
require('fidget').setup({})
require('neodev').setup({