Fabian Homborg 235581e8dc webconfig: Allow setting most pager colors ... I'm not sure this ever worked before for most of these. It currently still doesn't set the background, and the secondary colors have a weird fallback.		2021-12-13 21:47:54 +01:00
..
web_config	webconfig: Allow setting most pager colors	2021-12-13 21:47:54 +01:00
create_manpage_completions.py	Update create_manpage_completions.py	2021-12-13 04:33:26 -08:00
deroff.py	deroff.py: unneccessarry pass, unreachable code	2021-12-12 10:45:50 -08:00