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/navigation | |
| 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/navigation')
0 files changed, 0 insertions, 0 deletions