Fabian Homborg e57c998d4c webconfig: Make a bit nicer on smaller screens ...

Actually remove the margins, distribute the color choices evenly and
switch to small mode a bit earlier.

2021-06-05 11:46:23 +02:00

..

web_config

webconfig: Make a bit nicer on smaller screens

2021-06-05 11:46:23 +02:00

create_manpage_completions.py

Manpage generator: Give better error when we can't understand manpath

2021-03-26 19:32:14 +01:00

deroff.py

Fix: equality vs identity

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