From a36e732191df381cbcb79579655154d014cea500 Mon Sep 17 00:00:00 2001
From: Taddeus Kroes <taddeuskroes@gmail.com>
Date: Thu, 24 Jul 2014 20:46:39 +0200
Subject: [PATCH] Disabled useless color transformations into hex values

---
 color.ml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/color.ml b/color.ml
index 0d61a8d..b1a1445 100644
--- a/color.ml
+++ b/color.ml
@@ -13,11 +13,8 @@ let clip = function
   | value -> value
 
 let rec short = function
-  | Ident "aqua"      -> Hexcolor "0ff"
   | Ident "black"     -> Hexcolor "000"
-  | Ident "blue"      -> Hexcolor "00f"
   | Ident "fuchsia"   -> Hexcolor "f0f"
-  | Ident "lime"      -> Hexcolor "0f0"
   | Ident "white"     -> Hexcolor "fff"
   | Ident "yellow"    -> Hexcolor "ff0"
   | Hexcolor "808080" -> Ident "gray"
-- 
GitLab