diff options
| author | Jakob Unterwurzacher | 2016-09-20 16:26:23 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2016-09-25 16:43:17 +0200 |
| commit | 7faa267bd48940a2ae1bd3f672f349179d3758c7 (patch) | |
| tree | e4c72388f2d0ac473617e4477a8f66eac020046e /benchmark-synthetic.bash | |
| parent | be9dfe3a894bd00a2157bfc3dd19e98bcc171691 (diff) | |
reverse: rename readFile to clearer readBackingFile
Also refactor the header generation for nicer code.
Diffstat (limited to 'benchmark-synthetic.bash')
0 files changed, 0 insertions, 0 deletions