diff options
Diffstat (limited to 'tools/run/.envrc')
| -rw-r--r-- | tools/run/.envrc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/run/.envrc b/tools/run/.envrc index 1abb058f60d5..a4a62da526d3 100644 --- a/tools/run/.envrc +++ b/tools/run/.envrc @@ -1 +1,2 @@ source_up +use_nix |