diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2020-07-23 16:13:05 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-23 16:13:05 +0200 |
commit | 4bfba1305ed004c7b23b4e288efa707807cf2ac3 (patch) | |
tree | 02cda18e63dc75faee7ba36ad7679beeb93ae66e /src/libstore/derivations.hh | |
parent | d58ab591d4f1270383a379887e329f3eb84fbba6 (diff) | |
parent | b9ead08ca8f3b8e693a4528d0c6f642dcee026fe (diff) |
Merge pull request #3854 from B4dM4n/registry-pin-write
Save changes made by "nix registry pin" to user registry
Diffstat (limited to 'src/libstore/derivations.hh')
0 files changed, 0 insertions, 0 deletions