diff options
| author | Jakob Unterwurzacher | 2016-10-19 22:31:03 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2016-10-19 22:31:03 +0200 |
| commit | 77ebd62721bb58027775a55e13c46af7371ff2c9 (patch) | |
| tree | a5f3c569c51bfc3e5650b1b9021a16b01b3eee46 /benchmark-synthetic.bash | |
| parent | 589748548f24429bb30a8aafb3cae0d295b07da0 (diff) | |
tests: fix forgotten variable rename
Diffstat (limited to 'benchmark-synthetic.bash')
0 files changed, 0 insertions, 0 deletions