From a2d4bc662169f1535c5d7d9ab180a5b3847207a7 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 10 Mar 2019 22:06:10 +0000
Subject: [PATCH] drop old colours thing

---
 colours | 30 ------------------------------
 1 file changed, 30 deletions(-)
 delete mode 100644 colours

diff --git a/colours b/colours
deleted file mode 100644
index 6c6de52..0000000
--- a/colours
+++ /dev/null
@@ -1,30 +0,0 @@
-
-dykefail      MISC 
-dykefill      MISC 
-dykehsadd     MISC 
-dykeinit      MISC 
-hinttext      MISC 
-
-edge	      MISC 
-playerdeck    MISC 
-text	      MISC 
-textshadow    MISC 
-land MISC
-
-high LIGHTER 0.75
-
-
-cube          MISC 
-cube DARKER 0.25
-
-green DARKER 0.75
-green LIGHTER 0.75
-purple DARKER 0.75
-purple LIGHTER 0.75
-red DARKER 0.75
-red LIGHTER 0.75
-yellow DARKER 0.75
-yellow LIGHTER 0.75
-
-sea LIGHTER 0.75
-
-- 
2.30.2