diff --git a/red b/red
deleted file mode 160000
index a79072ce4..000000000
--- a/red
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit a79072ce478a999b06df38ae324fbcef6d3a76e7