diff options
| author | Jakob Unterwurzacher | 2016-10-08 19:22:59 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2016-10-08 19:22:59 +0200 |
| commit | 8c89e2da0ca3a2c901bfe067904b623a4da6f6a7 (patch) | |
| tree | 145686ddef0cfa9c00a82ef4961fc159fd449af5 /benchmark.bash | |
| parent | 29c8ca85d836f560837b0be51114b7a2931cf5bd (diff) | |
tests: invert ResetTmpDir argument
As reverse also does not want a diriv file, the "plaintextNames"
argument became a misnomer.
Diffstat (limited to 'benchmark.bash')
0 files changed, 0 insertions, 0 deletions