Sören Weber 2061495d2e
theme: make bold weight configurable #922
to avoid migration hassle if someone forced a different font
2024-10-12 23:09:25 +02:00

1 line
46 B
Plaintext

6.4.0+d34d155e5d2eed4e6d0218ac1a425401433b7bba