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