Fabian Homborg bd1ceefb17 sample_prompts/user_host_path: Remove ... I can't see the value in this, given that we have a bunch of minimalist ones. The "escaping" here is gnarly enough that I don't want to attempt to clean it up.		2018-11-29 16:35:52 +01:00
..
web_config	sample_prompts/user_host_path: Remove	2018-11-29 16:35:52 +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