diff options
author | Christian Grothoff <christian@grothoff.org> | 2020-03-22 14:51:36 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2020-03-22 14:51:36 +0100 |
commit | bdbe923bf627348113866d1d79cbd65aa2c132df (patch) | |
tree | b6ee072007b1a738e630b5c6b32cae21080edb4a /src/benchmark/benchmark.conf | |
parent | 9b470d246231d2e399d4cd27f01d87975832f343 (diff) | |
download | exchange-bdbe923bf627348113866d1d79cbd65aa2c132df.tar.xz |
check for right type
Diffstat (limited to 'src/benchmark/benchmark.conf')
0 files changed, 0 insertions, 0 deletions