add fonts in newer, better compressed formats

This commit is contained in:
Jakob Ketterl
2020-09-12 19:01:51 +02:00
parent d12af6d203
commit 3cd6af9ef9
4 changed files with 3 additions and 1 deletions

Binary file not shown.

Binary file not shown.

Binary file not shown.