Add .envrc (for direnv)

This commit is contained in:
Sridhar Ratnakumar 2022-05-04 11:45:44 -04:00
parent 8cf96674e5
commit d9f813cca6
2 changed files with 2 additions and 0 deletions

1
.envrc Normal file
View file

@ -0,0 +1 @@
use flake

1
.gitignore vendored
View file

@ -1,3 +1,4 @@
/target
/result
/result-lib
.direnv