Fabian Homborg be1c022861 webconfig: Allow setting pager colors		2018-11-29 15:18:00 +01:00
..
web_config	webconfig: Allow setting pager colors	2018-11-29 15:18:00 +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