diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2018-07-24 17:23:13 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-24 17:23:13 +0200 |
commit | f602ff264beafd8f7bb5a17d63c7b9412c5fc6eb (patch) | |
tree | 278e393b27400ac35494833ce1329612c47b1dea /src/nix-prefetch-url | |
parent | a7fb7d3cde48e6f54b59d539d906dda1d7107ffa (diff) | |
parent | 9ac1a7988216f1252a600f6f67b685b9cc01283a (diff) |
Merge pull request #2305 from lheckemann/copy-keep-going
copyPathsToStore: honour keep-going
Diffstat (limited to 'src/nix-prefetch-url')
0 files changed, 0 insertions, 0 deletions