fix: add .repro to gitignore

Saghen · Jan 5, 2025 · 0d1e3c3 · 0d1e3c3
1 parent 51fb932
commit 0d1e3c3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -6,3 +6,4 @@ dual/
 result
 .direnv
 .devenv
+.repro/