Jakob Unterwurzacher fb3cc6ea40 openfiletable: rename WriteLock to ContentLock
...and IDLock to HeaderLock. This matches what the locks actually
protect.
2017-05-01 21:57:18 +02:00
..
2017-04-23 23:11:56 +02:00
2017-05-01 17:49:37 +02:00