diff options
Diffstat (limited to 'benchmarks/pipebench/distinfo')
| -rw-r--r-- | benchmarks/pipebench/distinfo | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/benchmarks/pipebench/distinfo b/benchmarks/pipebench/distinfo index bd274168832d..fee0db95f46f 100644 --- a/benchmarks/pipebench/distinfo +++ b/benchmarks/pipebench/distinfo @@ -1 +1,2 @@ MD5 (pipebench-0.40.tar.gz) = eb1b888ec6c413c2cb096ac052174a78 +SIZE (pipebench-0.40.tar.gz) = 11542 |