add devShell
This commit is contained in:
parent
f5b69deee9
commit
3412ecb175
5 changed files with 14 additions and 3 deletions
3
.gitignore
vendored
Normal file
3
.gitignore
vendored
Normal file
|
|
@ -0,0 +1,3 @@
|
|||
/.direnv
|
||||
result
|
||||
result-*
|
||||
Loading…
Add table
Add a link
Reference in a new issue