Fix up the build stuff

2020-10-07 21:56:28 -04:00 · 2020-10-07 21:56:28 -04:00 · 426e3ee19e
parent e3db7185af
commit 426e3ee19e
1 changed files with 4 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@ -7,3 +7,6 @@ site
 *.hi
 *.o
 generateSealPosts
+
+.direnv
+.envrc