diff options
| author | Linus Nordberg <linus@nordu.net> | 2016-11-30 16:47:23 +0100 |
|---|---|---|
| committer | Linus Nordberg <linus@nordu.net> | 2016-11-30 16:47:23 +0100 |
| commit | bff5d58fcce0534cf4774df386ff448261b28c20 (patch) | |
| tree | 076adf9062bb24b210f8712b4aeb303b3023643d /tools/merge_fetch.py | |
| parent | 720473257b4b7ab9916826ae87e617d1df138260 (diff) | |
Parallelise merge_dist.
Also deduplicate some code.
Diffstat (limited to 'tools/merge_fetch.py')
0 files changed, 0 insertions, 0 deletions