chore(build): auto-generate extras

This commit is contained in:
github-actions[bot]
2023-10-08 11:38:34 +00:00
parent 6151fb43f3
commit f47a432a12
4 changed files with 12 additions and 0 deletions

View File

@@ -1960,6 +1960,9 @@ local highlights = {
diffRemoved = {
fg = "#c47981"
},
dosIniLabel = {
link = "@property"
},
healthError = {
fg = "#c64343"
},

View File

@@ -1960,6 +1960,9 @@ local highlights = {
diffRemoved = {
fg = "#e26a75"
},
dosIniLabel = {
link = "@property"
},
healthError = {
fg = "#c53b53"
},

View File

@@ -1960,6 +1960,9 @@ local highlights = {
diffRemoved = {
fg = "#914c54"
},
dosIniLabel = {
link = "@property"
},
healthError = {
fg = "#db4b4b"
},

View File

@@ -1960,6 +1960,9 @@ local highlights = {
diffRemoved = {
fg = "#914c54"
},
dosIniLabel = {
link = "@property"
},
healthError = {
fg = "#db4b4b"
},