diff options
author | Daniel Friesel <derf@finalrewind.org> | 2018-12-03 11:01:24 +0100 |
---|---|---|
committer | Daniel Friesel <derf@finalrewind.org> | 2018-12-03 11:01:24 +0100 |
commit | 51c4aca4432963af11db0d85b9ddb4ff2d50fc60 (patch) | |
tree | bb3792da39c6ff23c4f90fbf032450bb992db71f /src/app/bench | |
parent | d244dbee97d17031d4e22c06f7e31f3b17764440 (diff) |
prototest: only include counter when needed
Diffstat (limited to 'src/app/bench')
0 files changed, 0 insertions, 0 deletions