From 19f90b4e22b4227fb2e7aa6e334873ec7d5bfa2d Mon Sep 17 00:00:00 2001
From: William Casarin <jb55@jb55.com>
Date: Thu, 21 Apr 2022 06:03:29 -0700
Subject: [PATCH] remove envrc

Signed-off-by: William Casarin <jb55@jb55.com>
---
 .envrc     | 1 -
 .gitignore | 3 +++
 2 files changed, 3 insertions(+), 1 deletion(-)
 delete mode 100644 .envrc

diff --git a/.envrc b/.envrc
deleted file mode 100644
index 1d953f4..0000000
--- a/.envrc
+++ /dev/null
@@ -1 +0,0 @@
-use nix
diff --git a/.gitignore b/.gitignore
index 96b91d7..0d78ec1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,8 @@
 *.o
+/.direnv/
+.envrc
 nostril
+/result
 configurator.out*
 configurator
 .build-result