benchmark: output int
authorFlorian Dold <florian.dold@gmail.com>
Thu, 27 Sep 2018 13:45:26 +0000 (15:45 +0200)
committerFlorian Dold <florian.dold@gmail.com>
Thu, 27 Sep 2018 13:45:26 +0000 (15:45 +0200)
commit2c3b40e7c69c6065ef9c5dd344658411fa3f9659
tree92b85b44bb8088a8e5bfe1df9d35497537c89560
parentb5e2fc08571dd50208f485476f3072427e3916e9
benchmark: output int
contrib/benchmark/collect.awk