summaryrefslogtreecommitdiff
path: root/tools/merge_dist.py
diff options
context:
space:
mode:
authorMagnus Ahltorp <map@kth.se>2017-03-17 00:58:54 +0100
committerMagnus Ahltorp <map@kth.se>2017-03-17 14:45:56 +0100
commit8fb19e1dd19998b7e5b2cff9031eaf52dac46b51 (patch)
tree404a493eb094747dddcdd414f05e53b30da43b5b /tools/merge_dist.py
parentabe1da31a293c2765b4bb3fca42a08cdf336fcc7 (diff)
Added benchmark reporting.
Change timing_point to time.time interface.
Diffstat (limited to 'tools/merge_dist.py')
0 files changed, 0 insertions, 0 deletions