chiark / gitweb /
drop old colours thing
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 Mar 2019 22:06:10 +0000 (22:06 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 Mar 2019 22:06:10 +0000 (22:06 +0000)
colours [deleted file]

diff --git a/colours b/colours
deleted file mode 100644 (file)
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
-