From b7d0ae0b0f13ec92f9ab8cc8e1aad7e055da8b6c Mon Sep 17 00:00:00 2001
From: Christoph <cschwentker@gmail.com>
Date: Sun, 16 Jul 2017 11:32:57 +0200
Subject: [PATCH] Remove unused lib

---
 external-libraries.txt | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/external-libraries.txt b/external-libraries.txt
index beafd890cfb..c3289071ac2 100644
--- a/external-libraries.txt
+++ b/external-libraries.txt
@@ -241,9 +241,4 @@ Project: latex2unicode
 URL:     https://github.com/tomtung/latex2unicode
 License: Apache 2.0
 
-Id:      com.github.wnameless
-Project: json-flattener
-URL:     https://github.com/tomtung/latex2unicode
-License: Apache 2.0
-
 The last entry has to end with an empty line. Otherwise the entry is not present in About.html.