diff options
| author | Jakob Unterwurzacher | 2017-05-01 21:57:18 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2017-05-01 21:57:18 +0200 |
| commit | fb3cc6ea407b83e4e1acf4e1a80e3b7d09c5b1db (patch) | |
| tree | 9a766eed46d7d27f8681193b22e9b42939d7fbfe /benchmark.bash | |
| parent | f322ee87e31a6ceb04c25fa62dcde4df6e45f92a (diff) | |
openfiletable: rename WriteLock to ContentLock
...and IDLock to HeaderLock. This matches what the locks actually
protect.
Diffstat (limited to 'benchmark.bash')
0 files changed, 0 insertions, 0 deletions