diff options
| author | Linus Nordberg <linus@nordu.net> | 2015-11-10 16:17:40 +0100 |
|---|---|---|
| committer | Linus Nordberg <linus@nordu.net> | 2015-11-10 16:17:40 +0100 |
| commit | 274ea1a70ebe79800b2a3dc594363727ea306287 (patch) | |
| tree | 4f2bad59d16d46f44222d80cafab120b35dfcafa /tools/merge_sth.py | |
| parent | 0ed4ddd1920af585a404c1e203dc88d5715640c3 (diff) | |
Print timing information in merge_fetch too.
Diffstat (limited to 'tools/merge_sth.py')
0 files changed, 0 insertions, 0 deletions