diff options
| author | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2022-03-25 10:54:32 +0200 |
|---|---|---|
| committer | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2022-03-25 11:45:55 +0200 |
| commit | 78051f93a37c560bc231385f21facd71bf206639 (patch) | |
| tree | deee3f38c9a44d84db7d3845e0a8d73df0cc6bd8 /editor/editor_themes.cpp | |
| parent | 3990152f6b7fcbac39ed68f0cc0fd36131bc9e2f (diff) | |
Convert the editor and default theme fonts to WOFF2 format to save space.
Diffstat (limited to 'editor/editor_themes.cpp')
0 files changed, 0 insertions, 0 deletions