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