diff --git a/index.html b/index.html index f478b2c2..5e22667b 100644 --- a/index.html +++ b/index.html @@ -1,6 +1,6 @@ -
ca.desrt.dconf
or dconf.service
?+
ca.desrt.dconf
or dconf.service
?This manual will eventually describe how to install, use, and extend Home Manager.
diff --git a/options.html b/options.html index 7b293228..32d4f6f3 100644 --- a/options.html +++ b/options.html @@ -3144,6 +3144,8 @@ to use depending on commit’s author. selected_tab: Reset, command_fg: White, selection_bg: Blue, + selection_fg: White, + cmdbar_bg: Blue, cmdbar_extra_lines_bg: Blue, disabled_fg: DarkGray, diff_line_add: Green, @@ -3158,6 +3160,8 @@ to use depending on commit’s author. danger_fg: Red, push_gauge_bg: Blue, push_gauge_fg: Reset, + tag_fg: LightMagenta, + branch_fg: LightYellow, ) ''
Declared by: