diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2017-11-06T12·36+0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-06T12·36+0100 |
| commit | dc30856141a1ef3958dfe230611d9447d7a13957 (patch) | |
| tree | 0cbae2fe44665a0c2773c3c14cdcc4501589383c /Makefile.config.in | |
| parent | 7a4d9574d9275426e31bb2b3fbb8515600d233c4 (diff) | |
| parent | 0f9a7225ab47fe313db41f4019177be8fb84a1dd (diff) | |
Merge pull request #1632 from AmineChikhaoui/sigint-copy
run query paths in parallel during nix copy and handle SIGINT
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions