diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-22 10:14:52 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-22 10:14:52 +0100 |
commit | ba5a70ccc967deb52810f5279cfc071f1d849301 (patch) | |
tree | 497dffb9f4f04b0162ae0afbd227c2dc46f12238 /servers/display_server.h | |
parent | be336cea1ed0a39a42b3b68c39a571905993c7d5 (diff) | |
parent | 21fcf657ce99e13371d9f90f033a8d8b94a3612f (diff) |
Merge pull request #73708 from davicr/output_font_setting_fix
Add Output font size in Theme regeneration conditions
Diffstat (limited to 'servers/display_server.h')
0 files changed, 0 insertions, 0 deletions