Update gitignore, new commits in caravel submodule
diff --git a/.gitignore b/.gitignore index b2a927b..2930de0 100644 --- a/.gitignore +++ b/.gitignore
@@ -1,2 +1,5 @@ precheck_results *~ +*.swp +caravel +pdk
diff --git a/caravel b/caravel index 0f16ba8..42c9cab 160000 --- a/caravel +++ b/caravel
@@ -1 +1 @@ -Subproject commit 0f16ba8eaae841a6f122fc0d5837005d3312fd2b +Subproject commit 42c9cab06c7fdd94b7eacc12a5c4ff4a60338e74