From 45006a01c97257734265c9ed480668b7e9673c85 Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Mon, 15 Jul 2019 12:51:09 +0200 Subject: [PATCH] Remove another unneeded AltFont --- lib/latexfonts | 14 +------------- 1 file changed, 1 insertion(+), 13 deletions(-) diff --git a/lib/latexfonts b/lib/latexfonts index 72322f26ae..a95613d580 100644 --- a/lib/latexfonts +++ b/lib/latexfonts @@ -378,22 +378,10 @@ Font newcent EndFont Font NotoSerifRegular - GuiName "Noto Serif Regular" + GuiName "Noto Serif (Regular)" Family rm Package noto-serif PackageOption regular - OsfDefault 0 - OsfOption osf - AltFonts NotoSerifRegular1 - MoreOptions 1 -EndFont - -AltFont NotoSerifRegular1 - GuiName "Noto Serif Regular" - Family rm - Package noto-serif - PackageOption regular - OsfDefault 1 OsfOption osf MoreOptions 1 EndFont -- 2.39.5