bd82507edd
It was a bit too ambitious to also remove production of the gcroot, we need it to keep track of the currently active Home Manager configuration. Fixes #7583 |
||
|---|---|---|
| .. | ||
| nixos | ||
| standalone | ||
| default.nix | ||
bd82507edd
It was a bit too ambitious to also remove production of the gcroot, we need it to keep track of the currently active Home Manager configuration. Fixes #7583 |
||
|---|---|---|
| .. | ||
| nixos | ||
| standalone | ||
| default.nix | ||