add deduce-release.zip to .gitignore

jsiek · Jan 22, 2025 · d4697ef · d4697ef
1 parent 1b8bac4
commit d4697ef
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -5,3 +5,4 @@ personal
 test/**/*.thm
 lib/*.thm
 .vscode
+deduce-release.zip