diff --git a/lib/latexfonts b/lib/latexfonts index 4898c18e93..b840784861 100644 --- a/lib/latexfonts +++ b/lib/latexfonts @@ -22,6 +22,9 @@ # OsfScOption