remove gitlink
diff --git a/caravel b/caravel deleted file mode 160000 index ca43b24..0000000 --- a/caravel +++ /dev/null
@@ -1 +0,0 @@ -Subproject commit ca43b245a524ee93e6f175690544ce789bf9cbdb
