mirror of
https://github.com/nix-community/home-manager.git
synced 2026-01-11 17:39:37 +08:00
These two options must be set if the provider is set to "manual".
Closes #841
(cherry picked from commit 8bddc1adab)
These two options must be set if the provider is set to "manual".
Closes #841
(cherry picked from commit 8bddc1adab)