commit 655cb7073d95b3ab99233dedcaf3b151e4147ba3
Author: Juergen Spitzmueller <[email protected]>
Date: Sat Jul 13 18:24:07 2019 +0200
Bring back accidentally removed option
---
lib/latexfonts | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/lib/latexfonts b/lib/latexfonts
index b4ecd1e..75dba78 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