From 78051f93a37c560bc231385f21facd71bf206639 Mon Sep 17 00:00:00 2001
From: bruvzg <7645683+bruvzg@users.noreply.github.com>
Date: Fri, 25 Mar 2022 10:54:32 +0200
Subject: Convert the editor and default theme fonts to WOFF2 format to save
 space.

---
 COPYRIGHT.txt | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'COPYRIGHT.txt')

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
-- 
cgit v1.2.3