diff options
Diffstat (limited to 'script/performance')
| -rwxr-xr-x[-rw-r--r--] | script/performance/benchmarker | 0 | ||||
| -rwxr-xr-x[-rw-r--r--] | script/performance/profiler | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/script/performance/benchmarker b/script/performance/benchmarker index c842d35d3..c842d35d3 100644..100755 --- a/script/performance/benchmarker +++ b/script/performance/benchmarker diff --git a/script/performance/profiler b/script/performance/profiler index d855ac8b1..d855ac8b1 100644..100755 --- a/script/performance/profiler +++ b/script/performance/profiler |