Fabian Boehm 772a367365 prompts/disco: Use $fish_color_status for the status ... That's what it's for.		2023-01-17 21:31:47 +01:00
..
web_config	prompts/disco: Use $fish_color_status for the status	2023-01-17 21:31:47 +01:00
create_manpage_completions.py	create_manpage_completions.py: Do not overstrip commands with dots	2022-05-29 17:00:32 +02:00
deroff.py	deroff.py: unneccessarry pass, unreachable code	2021-12-12 10:45:50 -08:00