lemon/bits/lock.h
changeset 1052 eb2f9d453070
child 1092 dceba191c00d