Fabian Homborg 03bca5f7dd webconfig: Fall back onto the default colorscheme ... The solarized themes now define pager colors, while other schemes don't. So if a user picks one of them, and then another, they'd keep the pager colors. Instead, since the default theme is now complete, any theme that does not define its own pager colors will always get the default ones. [ci skip]		2018-12-05 09:54:31 +01:00
..
web_config	webconfig: Fall back onto the default colorscheme	2018-12-05 09:54:31 +01:00
create_manpage_completions.py	Add generic parser for /etc/man.conf	2017-12-12 19:18:47 +01:00
deroff.py	simplify invoking create_manpage_completions.py	2016-10-09 18:42:55 -07:00