Fabian Homborg fd90482c19 create_manpage_completions: Output "-d", not "--description" ... We typically use "-d" because it's shorter.		2020-04-25 11:34:52 +02:00
..
web_config	Restyle	2020-03-26 20:45:40 +01:00
create_manpage_completions.py	create_manpage_completions: Output "-d", not "--description"	2020-04-25 11:34:52 +02:00
deroff.py	Fix: equality vs identity	2019-11-06 14:13:21 +08:00