deleted caravel
diff --git a/caravel b/caravel
deleted file mode 160000
index de98d51..0000000
--- a/caravel
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit de98d514aa6c642ef020876a64c4cdb2c9ea9a8a