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