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 /COPYRIGHT.txt | |
| parent | 3990152f6b7fcbac39ed68f0cc0fd36131bc9e2f (diff) | |
Convert the editor and default theme fonts to WOFF2 format to save space.
Diffstat (limited to 'COPYRIGHT.txt')
| -rw-r--r-- | COPYRIGHT.txt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/COPYRIGHT.txt b/COPYRIGHT.txt index a9edfac7a1..882545c547 100644 --- a/COPYRIGHT.txt +++ b/COPYRIGHT.txt @@ -166,17 +166,17 @@ Comment: etcpak Copyright: 2013-2021, Bartosz Taudul License: BSD-3-clause -Files: ./thirdparty/fonts/DroidSans*.ttf +Files: ./thirdparty/fonts/DroidSans*.woff2 Comment: DroidSans font Copyright: 2008, The Android Open Source Project License: Apache-2.0 -Files: ./thirdparty/fonts/JetBrainsMono_Regular.ttf +Files: ./thirdparty/fonts/JetBrainsMono_Regular.woff2 Comment: JetBrains Mono font Copyright: 2020, JetBrains s.r.o. License: OFL-1.1 -Files: ./thirdparty/fonts/NotoSans*.ttf +Files: ./thirdparty/fonts/NotoSans*.woff2 Comment: Noto Sans font Copyright: 2012, Google Inc. License: OFL-1.1 |