Fabian Homborg 24f9fdd0a7 themes/default: Set pager selection to reverse ... This makes it look okay on both light and dark backgrounds.		2022-01-19 17:23:42 +01:00
..
web_config	themes/default: Set pager selection to reverse	2022-01-19 17:23:42 +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