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
