Update .gitignore
diff --git a/.gitignore b/.gitignore index 04edfb0..01ea346 100644 --- a/.gitignore +++ b/.gitignore
@@ -6,3 +6,4 @@ *.lst *.vcd *.gtkw +caravel/