diff options
| -rwxr-xr-x | scripts/benchmark/benchmark-all-commits.sh (renamed from benchmark-all-commits.sh) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/benchmark-all-commits.sh b/scripts/benchmark/benchmark-all-commits.sh index 60c37df9..60c37df9 100755 --- a/benchmark-all-commits.sh +++ b/scripts/benchmark/benchmark-all-commits.sh |