diff --git a/external b/external
deleted file mode 160000
index 1919407f9b..0000000000
--- a/external
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 1919407f9b4fb3173e9dce27ce653c7954c13c39