diff options
| author | Jakob Unterwurzacher | 2016-12-13 22:13:54 +0100 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2016-12-13 22:13:54 +0100 |
| commit | 15d6da6c4885488937f747d796392c1d31b4249f (patch) | |
| tree | f2555942a3fbf8aadddf50ddbcb8b60fe2260cb0 /Documentation | |
| parent | 2bacbdf99de27a132c236003953574a321b0cdbc (diff) | |
benchmark.bash: add proper argument handling
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions