From 3070e155ce41cea2a380482b772b9bb53de67b78 Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Thu, 18 Jul 2019 09:08:24 +0200 Subject: [PATCH] Amend 212314ada71 --- lib/latexfonts | 7 ------- 1 file changed, 7 deletions(-) diff --git a/lib/latexfonts b/lib/latexfonts index 017c45f264..cbfb0d25cc 100644 --- a/lib/latexfonts +++ b/lib/latexfonts @@ -1117,13 +1117,6 @@ Font NotoMonoRegular MoreOptions 1 EndFont -Font NotoMono-TLF - GuiName "Noto Mono" - Family tt - SwitchDefault 1 - Requires noto -EndFont - Font PTMono-TLF GuiName "ParaType Mono" Family tt -- 2.39.5