- Jan 28, 2025
-
-
Jesper Zedlitz authoreddeutliche Ersparnis, da das 2GB große Paket texmf-dist-fontsextra nicht geladen werden muss
-
- Apr 20, 2022
-
-
Jesper Zedlitz authored
-
deutliche Ersparnis, da das 2GB große Paket texmf-dist-fontsextra nicht geladen werden muss