From 851f0bcfb36ee820d09b5b12e3ec06c961a51529 Mon Sep 17 00:00:00 2001
From: ridiculousfish <corydoras@ridiculousfish.com>
Date: Sat, 1 Nov 2014 13:57:21 -0700
Subject: [PATCH] Remove some more dead code

---
 output.cpp | 39 ---------------------------------------
 1 file changed, 39 deletions(-)

diff --git a/output.cpp b/output.cpp
index d5aefc166..f6fb9fa96 100644
--- a/output.cpp
+++ b/output.cpp
@@ -56,45 +56,6 @@
 
 static int writeb_internal(char c);
 
-/**
- Names of different colors.
- */
-static const wchar_t *col[]=
-{
-    L"black",
-    L"red",
-    L"green",
-    L"brown",
-    L"yellow",
-    L"blue",
-    L"magenta",
-    L"purple",
-    L"cyan",
-    L"white",
-    L"normal"
-}
-;
-
-/**
- Mapping from color name (the 'col' array) to color index as used in
- ANSI color terminals, and also the fish_color_* constants defined
- in highlight.h. Non-ANSI terminals will display the wrong colors,
- since they use a different mapping.
- */
-static const int col_idx[]=
-{
-    0,
-    1,
-    2,
-    3,
-    3,
-    4,
-    5,
-    5,
-    6,
-    7,
-    FISH_COLOR_NORMAL,
-};
 
 /**
  The function used for output