From d6ce4abd40b2e45d5b3b4344c555cf5712135b31 Mon Sep 17 00:00:00 2001
From: Juergen Spitzmueller <spitz@lyx.org>
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