benchmark: there is just one adjusted total
authorFlorian Dold <florian.dold@gmail.com>
Thu, 27 Sep 2018 13:28:30 +0000 (15:28 +0200)
committerFlorian Dold <florian.dold@gmail.com>
Thu, 27 Sep 2018 13:28:30 +0000 (15:28 +0200)
commitb5e2fc08571dd50208f485476f3072427e3916e9
tree17bd3160013fbec094a92a77012ea2bbb3917cb3
parentf885cf0630c3322cf00a9add64e6bf16bea663bc
benchmark: there is just one adjusted total
contrib/benchmark/collect.awk