diff options
| author | Jakob Unterwurzacher | 2018-02-06 23:01:56 +0100 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2018-02-06 23:03:07 +0100 |
| commit | a3694e0c073b686b33c7ba34508c6e18a5508dd5 (patch) | |
| tree | 9a25ff01001315798d9b9055d314d971e79e1d06 /profiling | |
| parent | a624aab8a17834d492184a2d26db91ec754ff990 (diff) | |
benchmark.bash: print tested version
Diffstat (limited to 'profiling')
0 files changed, 0 insertions, 0 deletions