From d42a285c082b508fbf58d1fcbec8e28474431481 Mon Sep 17 00:00:00 2001
From: Andrew Hamilton <and_hamilton@yahoo.com>
Date: Wed, 10 Feb 2016 19:19:47 +0000
Subject: [PATCH] Removed mp3info tool, because it doesn't handle new ID3 tags.

---
 tools.py | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/tools.py b/tools.py
index 42b9173..d1d6150 100644
--- a/tools.py
+++ b/tools.py
@@ -469,13 +469,6 @@ def readelf(path):
 readelf.dependencies = {"binutils"}
 
 
-def mp3info(path):
-    stdout, *rest = _do_command(["mp3info", "-x", path])
-    source_widget = fill3.Text(stdout)
-    return Status.normal, source_widget
-mp3info.dependencies = ["mp3info"]
-
-
 def unzip(path):
     return _run_command(["unzip", "-l", path], Status.normal)
 unzip.dependencies = {"unzip"}
@@ -581,7 +574,6 @@ def tools_for_extension():
         "c": [splint, uncrustify],
         "h": [splint, uncrustify],
         "o": [objdump_headers, objdump_disassemble, readelf],
-        "mp3": [mp3info],
         "zip": [unzip],
         "tar.gz": [tar_gz],
         "tgz": [tar_gz],