Fabian Homborg 2a1d59107f prompts/disco: Remove superfluous space from git prompt		2021-11-28 12:39:22 +01:00
..
web_config	prompts/disco: Remove superfluous space from git prompt	2021-11-28 12:39:22 +01:00
create_manpage_completions.py	Manpage generator: Give better error when we can't understand manpath	2021-03-26 19:32:14 +01:00
deroff.py	Fix: equality vs identity	2019-11-06 14:13:21 +08:00