diff options
| author | AmineChikhaoui <amine.chikhaoui91@gmail.com> | 2018-05-07T14·07+0100 |
|---|---|---|
| committer | AmineChikhaoui <amine.chikhaoui91@gmail.com> | 2018-05-07T14·07+0100 |
| commit | 854c0860f4ec68e81869473cf0708529afd0486e (patch) | |
| tree | 05ae34ebf000aed77187de841d3bf201146bedba /shell.nix | |
| parent | 591e75cd01f1650aab5538432a8637683ad1a9d0 (diff) | |
share the executor between multiple copy threads.
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions