Fabian Boehm 338451c25c webconfig: Set a variable before ... This fixes things if a theme is entirely empty. Fixes #9590 (cherry picked from commit acde38fed3)		2023-02-27 22:40:59 +08:00
..
web_config	webconfig: Set a variable before	2023-02-27 22:40:59 +08:00
create_manpage_completions.py	create_manpage_completions.py: Do not overstrip commands with dots	2022-05-29 17:00:32 +02:00
deroff.py	deroff.py: unneccessarry pass, unreachable code	2021-12-12 10:45:50 -08:00