diff --git a/web-ide b/web-ide
deleted file mode 160000
index d74138b..0000000
--- a/web-ide
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit d74138bb72e8f471c1e9fac3ab21cea3ad38438f