diff options
| author | Mike Vink <mike1994vink@gmail.com> | 2023-11-20 12:25:43 +0000 |
|---|---|---|
| committer | Mike Vink <mike1994vink@gmail.com> | 2023-11-20 12:25:43 +0000 |
| commit | 02332abec027604abcd129f35256791cad423060 (patch) | |
| tree | 3c0281cc1a1db3aff7d048082d8874dd942e0a9a | |
| parent | c58d8f0502e4138b3ed7e373a8e55feb9f02508a (diff) | |
fixup
| -rw-r--r-- | ivi/ivi.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ivi/ivi.nix b/ivi/ivi.nix index 8e1013d..838f5a0 100644 --- a/ivi/ivi.nix +++ b/ivi/ivi.nix @@ -71,7 +71,7 @@ self: lib: with lib; let ]; }; wsl = { - secrets = true; + secrets = false; profiles = [ "core" ]; |