diff options
author | Robert Hensing <roberth@users.noreply.github.com> | 2023-04-07 15:02:35 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-07 15:02:35 +0200 |
commit | 54b3b6ebc638b148a8804b81e9c17ab52cddf8e1 (patch) | |
tree | 18d5b77e096ecf89f459d26da79cef18b273dec8 /src/libstore/build/drv-output-substitution-goal.hh | |
parent | 81dfc2b01231c65137017de092c8506838fadd94 (diff) | |
parent | 9d1105824f99ada218387eb8791643f66b25c3f8 (diff) |
Merge pull request #7887 from obsidiansystems/add-derivation
`nix derivation add`, `show-derivation` -> `derivation show`
Diffstat (limited to 'src/libstore/build/drv-output-substitution-goal.hh')
0 files changed, 0 insertions, 0 deletions