From 5dc0aaaf5d293058c4ba33f78eedd1652634ebd1 Mon Sep 17 00:00:00 2001
From: Andrew Hamilton <and_hamilton@yahoo.com>
Date: Wed, 10 Feb 2016 16:05:06 +0000
Subject: [PATCH] Removed dump_pickle tool, because pickles don't have an
 obvious extension.

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

diff --git a/tools.py b/tools.py
index 1e084e3..42b9173 100644
--- a/tools.py
+++ b/tools.py
@@ -14,7 +14,6 @@ import math
 import os
 import os.path
 import pickle
-import pprint
 import pwd
 import stat
 import subprocess
@@ -477,13 +476,6 @@ def mp3info(path):
 mp3info.dependencies = ["mp3info"]
 
 
-def dump_pickle(path):
-    with open(path, "rb") as file_:
-        object_ = pickle.load(file_)
-    return Status.normal, fill3.Text(pprint.pformat(object_.__dict__))
-dump_pickle.dependencies = set()
-
-
 def unzip(path):
     return _run_command(["unzip", "-l", path], Status.normal)
 unzip.dependencies = {"unzip"}
@@ -590,7 +582,6 @@ def tools_for_extension():
         "h": [splint, uncrustify],
         "o": [objdump_headers, objdump_disassemble, readelf],
         "mp3": [mp3info],
-        "pickle": [dump_pickle],
         "zip": [unzip],
         "tar.gz": [tar_gz],
         "tgz": [tar_gz],