Fabian Homborg a4e2a3c049 Reformat web_config css with prettier ... I'm not a fan of how prettier formats code, but this file was a mess with inconsistent indentation, and the result is okay. [ci skip]		2020-12-10 16:27:00 +01:00
..
web_config	Reformat web_config css with prettier	2020-12-10 16:27:00 +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