diff options
| author | Daiderd Jordan <daiderd@gmail.com> | 2018-09-02T10·52+0200 |
|---|---|---|
| committer | Daiderd Jordan <daiderd@gmail.com> | 2018-09-02T10·56+0200 |
| commit | bfdca55868ac1cd336c5d73ff944098ce82d023d (patch) | |
| tree | a9afd6203591f01377fc586603649a739c01dbb3 /release.nix | |
| parent | 0f18dc54797a1850bc1b91673790ad73e8f4b82f (diff) | |
nix doctor: add check for profile roots
In most cases profiles that are in PATH should have a gcroot.
Diffstat (limited to 'release.nix')
0 files changed, 0 insertions, 0 deletions