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 /thirdparty/fonts/NotoNaskhArabicUI_Bold.ttf | |
| parent | 3990152f6b7fcbac39ed68f0cc0fd36131bc9e2f (diff) | |
Convert the editor and default theme fonts to WOFF2 format to save space.
Diffstat (limited to 'thirdparty/fonts/NotoNaskhArabicUI_Bold.ttf')
| -rw-r--r-- | thirdparty/fonts/NotoNaskhArabicUI_Bold.ttf | bin | 148972 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/thirdparty/fonts/NotoNaskhArabicUI_Bold.ttf b/thirdparty/fonts/NotoNaskhArabicUI_Bold.ttf Binary files differdeleted file mode 100644 index 5576af7fee..0000000000 --- a/thirdparty/fonts/NotoNaskhArabicUI_Bold.ttf +++ /dev/null |