diff --git a/shell b/shell
deleted file mode 160000
index 442b49e0..00000000
--- a/shell
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 442b49e0e1975d51efcef90d10566c90dedbf7e1