Fabian Homborg 96dd8d511e Webconfig: Let it work better on small screens ... This allows it to basically work down to quite small widths.		2020-12-04 17:08:45 +01:00
..
web_config	Webconfig: Let it work better on small screens	2020-12-04 17:08:45 +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