diff options
author | Robert Hensing <roberth@users.noreply.github.com> | 2023-05-08 12:23:19 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-08 12:23:19 +0200 |
commit | cf8effdae25bac889533cff86d637512f4f74bf8 (patch) | |
tree | 1e8f375a7baf5999392b77dc0c1dd3e87828cae8 /src/libstore/build/local-derivation-goal.cc | |
parent | 879e45247c0e94f7a07dcafdb42c23d988cd9962 (diff) | |
parent | f0d2b7eef3f85008163ae356fca92e67c8a90f56 (diff) |
Merge pull request #8263 from frederictobiasc/improve-doc-genericclosure
Documentation: Improve builtins.genericClosure
Diffstat (limited to 'src/libstore/build/local-derivation-goal.cc')
0 files changed, 0 insertions, 0 deletions