diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2021-05-03 16:13:36 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-03 16:13:36 +0200 |
commit | 40378fbcba6595e195878f96a8e198325512fc1e (patch) | |
tree | c7f1c1d8d853fb2cd8bebe43eecd6269a4de2f27 /src/nix/registry.cc | |
parent | 6d2553ae1496288554e871c530836428f405fd67 (diff) | |
parent | c4355a52fa317cb782fec5e22c4ac688f67d487d (diff) |
Merge pull request #4761 from emilazy/issue-4658-mark-impure-host-deps-as-optional
Mark `__impureHostDeps` paths as optional
Diffstat (limited to 'src/nix/registry.cc')
0 files changed, 0 insertions, 0 deletions