diff options
| author | Jakob Unterwurzacher | 2015-10-04 14:24:43 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2015-10-04 14:24:43 +0200 |
| commit | c859f0b2dc8825763c3b63163a014435a8cdb3cf (patch) | |
| tree | 3dc6f686e00322bfca25a70cb256524d27df81f4 /main_benchmark.bash | |
| parent | 775676ecb82f415874f3c6b83da1436b629166f4 (diff) | |
intraBlock: Rename Offset to Skip
"Offset" is unclear whether it is an offset from the start of file
or start of block. "Skip" seems much better.
Diffstat (limited to 'main_benchmark.bash')
0 files changed, 0 insertions, 0 deletions