diff --git a/.gitignore b/.gitignore index ddba8a3..5e78ace 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,5 @@ .direnv/ *.pdf **/target +**/*.zip +**/cases