Fabian Homborg 213ac15caa Remove duplicate color ...

This was always wrong, but the new(er) angular actually complains
about it.

2020-07-06 20:10:01 +02:00

..

web_config

Remove duplicate color

2020-07-06 20:10:01 +02:00

create_manpage_completions.py

Another formatting run

2020-06-24 20:43:56 +02:00

deroff.py

Fix: equality vs identity

2019-11-06 14:13:21 +08:00