more removals
diff --git a/.gitignore b/.gitignore index 5ed5136..da1aa2d 100644 --- a/.gitignore +++ b/.gitignore
@@ -7,3 +7,6 @@ spi/ precheck_results/ mgmt_core_wrapper/ +*/tmp +*/*/tmp +caravel/
diff --git a/caravel b/caravel deleted file mode 160000 index de98d51..0000000 --- a/caravel +++ /dev/null
@@ -1 +0,0 @@ -Subproject commit de98d514aa6c642ef020876a64c4cdb2c9ea9a8a