1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 9d44be5..989802b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,3 +10,4 @@ build/
 BitsNPicas.jar
 .envrc
 result
+.direnv

diff --git a/.gitignore b/.gitignore index 9d44be5..989802b 100644 --- a/.gitignore +++ b/.gitignore
@@ -10,3 +10,4 @@ build/
10	BitsNPicas.jar	10	BitsNPicas.jar
11	.envrc	11	.envrc
12	result	12	result
		13	.direnv