Fabian Homborg 51a55b25dc Webconfig: Read metadata from themes ... This readds the preferred background and url, all read from "# url:" and "# preferred_background:" comments in the .theme file.		2021-07-09 20:36:59 +02:00
..
web_config	Webconfig: Read metadata from themes	2021-07-09 20:36:59 +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