Merge pull request #38 from numtide/direnv-gitignore

Add .direnv to .gitignore
numtide · Sep 25, 2024 · 33534a3 · 33534a3
2 parents 4e70bd7 + e7a9d8f
commit 33534a3
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -3,4 +3,5 @@ result*
 *.qcow2
 .data
 report.json
-site
+site
+.direnv/