diff options
| author | Jakob Unterwurzacher | 2016-01-23 19:32:47 +0100 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2016-01-23 19:32:47 +0100 |
| commit | ea38ff4e0bd39f08907239d2f482d95aa38893c0 (patch) | |
| tree | dd98c7798fb9e4785c8b588e69386413d158c204 | |
| parent | 2e419e635f264a9bb069e30ede597ce344b91106 (diff) | |
renamed: benchmark.bash -> benchmarks-builtin.bash
| -rwxr-xr-x | benchmarks-builtin.bash (renamed from benchmark.bash) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/benchmark.bash b/benchmarks-builtin.bash index 41f0aa7..41f0aa7 100755 --- a/benchmark.bash +++ b/benchmarks-builtin.bash |