DGNum
/
infrastructure
10
6
Fork 1
Code Issues 9 Pull Requests 5 Actions Packages Projects 1 Releases Wiki Activity

Use direnv

This commit is contained in:
Tom Hubrecht 2023-05-22 15:08:43 +02:00
parent 8949cf78dc
commit 7356ef8b1d
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.envrc Normal file
View File

@ -0,0 +1 @@
use nix

1
.gitignore vendored
View File

@ -3,3 +3,4 @@
result
result-*
.direnv