From: Juergen Spitzmueller Date: Sat, 13 Jul 2019 16:24:07 +0000 (+0200) Subject: Bring back accidentally removed option X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=96609f9940ace377b5d90d77134094aaacc398ca;p=features.git Bring back accidentally removed option --- diff --git a/lib/latexfonts b/lib/latexfonts index b4ecd1e55d..75dba78ae9 100644 --- a/lib/latexfonts +++ b/lib/latexfonts @@ -1027,6 +1027,7 @@ Font NotoMonoRegular ScaleOption scaled=$$val Package noto-mono PackageOption regular + OsfOption osf MoreOptions 1 EndFont