diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-05-17 15:46:44 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-17 15:46:44 +0200 |
| commit | 107651806f1b922f672ec1b87766b765202cbbd7 (patch) | |
| tree | 290d095954459480ddaf84401163b80483cd49da /main/main_timer_sync.cpp | |
| parent | 9cc17a8439d4909324da014a1d2e90cfaa9fb979 (diff) | |
| parent | d211c05111eed90baa7e70cb4e818fd328e97770 (diff) | |
Merge pull request #39603 from Calinou/default-theme-use-dynamicfont
Diffstat (limited to 'main/main_timer_sync.cpp')
0 files changed, 0 insertions, 0 deletions