diff options
| author | Florian Dold <florian.dold@gmail.com> | 2018-10-02 17:26:42 +0200 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2018-10-02 17:26:42 +0200 |
| commit | b7bbc4cc701e0a38415f68fb962dd5bd79dcc87b (patch) | |
| tree | dafc4d51524d5e182a9fc355c2824c2a5b6657a2 /doc/exchange-db-generate.sh | |
| parent | 97afbe6364867a6585fe6af701b7bcd097782002 (diff) | |
print CPU time for benchmark descendant processes
Diffstat (limited to 'doc/exchange-db-generate.sh')
0 files changed, 0 insertions, 0 deletions