Fabian Homborg 34d4afac99 Sample prompts: Remove stray space after pipestatus ...

This would, with the default color, have an ugly red background.

So just remove the space.

2021-04-08 11:14:16 +02:00

..

web_config

Sample prompts: Remove stray space after pipestatus

2021-04-08 11:14:16 +02: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