diff options
| author |  Axel Leroy <3141536+axeleroy@users.noreply.github.com>
| 2022-11-15 18:52:20 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2022-11-15 18:52:20 +0100 |
| commit | a0e3fac47e2f0afbb0346da765bf8942c5ad3984 (patch) | |
| tree | 16d70e491174a782f34d4a9ed38b96552b465e72 /.devcontainer | |
| parent | ce5531b39a190e435a97453291f1f8a41773aaba (diff) | |
Use the correct font file for Lato in bold (#4850)
Co-authored-by: Axel Leroy <axeleroy@noreply.github.com>
Co-authored-by: maTh <math-home@web.de>
Diffstat (limited to '.devcontainer')
0 files changed, 0 insertions, 0 deletions