diff --git a/lib/latexfonts b/lib/latexfonts index eaf9e4c317..e3b134f10f 100644 --- a/lib/latexfonts +++ b/lib/latexfonts @@ -23,6 +23,7 @@ # ScOption