Unnamed repository; edit this file 'description' to name the repository.
Fix duplicate "ui.help" key. (#1713)
| -rw-r--r-- | runtime/themes/base16_terminal.toml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/runtime/themes/base16_terminal.toml b/runtime/themes/base16_terminal.toml index 8038f9d8..a6ca71da 100644 --- a/runtime/themes/base16_terminal.toml +++ b/runtime/themes/base16_terminal.toml @@ -28,7 +28,6 @@ "keyword" = "light-magenta" "label" = "light-magenta" "namespace" = "light-magenta" -"ui.help" = { fg = "white", bg = "black" } "markup.heading" = "light-blue" "markup.list" = "light-red" |