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