diff options
author | Jakob Unterwurzacher | 2020-04-13 13:09:27 +0200 |
---|---|---|
committer | Jakob Unterwurzacher | 2020-04-13 14:54:04 +0200 |
commit | 9a7ceef09ea1fc8cbe17b324a9d1a2e71e50cb0a (patch) | |
tree | e0806ffcfe2095525d655b15cd7034ef92ee590d /internal/speed/benchmark.bash | |
parent | a2ad14b9ac92384f7cc0e8a0d8f385a9cd9a299a (diff) |
shellcheck: make top-level bash scripts warning-free
And run shellcheck in test.bash.
Diffstat (limited to 'internal/speed/benchmark.bash')
0 files changed, 0 insertions, 0 deletions