remove envrc

Signed-off-by: William Casarin <jb55@jb55.com>
2022-04-21 06:03:29 -07:00 · 2022-04-21 06:03:29 -07:00 · 19f90b4e22
parent 8898a0fe91
commit 19f90b4e22
2 changed files with 3 additions and 1 deletions
--- a/.envrc
+++ b/.envrc
@ -1 +0,0 @@
-use nix
--- a/.gitignore
+++ b/.gitignore
@ -1,5 +1,8 @@
 *.o
+/.direnv/
+.envrc
 nostril
+/result
 configurator.out*
 configurator
 .build-result