diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-12-21 18:36:07 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-12-21 18:36:07 +0100 |
commit | fecdeb78add6238fe0cfdfb976a632efd6f0f7b1 (patch) | |
tree | 464af79ecd9a5aba7742824e167bcff80c35eb45 /thirdparty/zlib/inftrees.c | |
parent | f1b23e8c3958d9e7d18c03ca9fea935eae70ea7e (diff) | |
parent | b67a938caaa8fe87496ed076d6871549dfc801d8 (diff) |
Merge pull request #70404 from YuriSizov/theme-!important
Add fallback values for font and scale to the default theme
Diffstat (limited to 'thirdparty/zlib/inftrees.c')
0 files changed, 0 insertions, 0 deletions