Fabian Boehm 1f0902a5f5 default prompt: Use same status color as default theme ...

This was weird, because it changed around just because you picked a
separate theme (that didn't have a status color).

Simply use the same color here.

2022-07-19 17:05:48 +02:00

..

web_config

default prompt: Use same status color as default theme

2022-07-19 17:05:48 +02: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