diff options
| author | Linus Nordberg <linus@nordu.net> | 2015-09-25 16:26:42 +0200 |
|---|---|---|
| committer | Linus Nordberg <linus@nordu.net> | 2015-09-27 13:38:30 +0200 |
| commit | 2bad49450fb5dff9524a26dabaacc34ae500df01 (patch) | |
| tree | 80b04f7ab82b1c8d1bb6721b63baa88ec7f1584c /tools/merge_fetch.py | |
| parent | 81f75c8c4572556e7ac789bad08fcb06a55e6339 (diff) | |
merge_backup.py and merge_dist.py take nodes on command line.
If no nodes are given on the command line, all appropriate nodes are
used.
Diffstat (limited to 'tools/merge_fetch.py')
0 files changed, 0 insertions, 0 deletions