Fabian Homborg f547c2fda8 Webconfig: Fix customizing ayu themes ... These used a different object format, so they were passed to interpret_color wrong. Because the "common" and "syntax" division doesn't really help all that much, let's just flatten the thing. See #7596.		2021-01-02 16:22:12 +01:00
..
web_config	Webconfig: Fix customizing ayu themes	2021-01-02 16:22:12 +01:00
create_manpage_completions.py	Reformat	2020-11-22 14:39:48 +01:00
deroff.py	Fix: equality vs identity	2019-11-06 14:13:21 +08:00