Fabian Homborg 6a21a2ce16 Prompts: Don't color space before pipestatus ... These passed " [" to __fish_print_pipestatus as the left brace. If the color contained a background, that would also color the space in, leading to a weird unbalanced space before and none after. Instead, prepend the whitespace when printing later. [ci skip]		2020-08-27 18:41:38 +02:00
..
web_config	Prompts: Don't color space before pipestatus	2020-08-27 18:41:38 +02:00
create_manpage_completions.py	create_manpage_completions.py: introduce TypeScdocManParser which is capable of parsing scdoc manpages	2020-07-11 17:39:36 +02:00
deroff.py	Fix: equality vs identity	2019-11-06 14:13:21 +08:00