diff options
author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-05-14 16:32:58 +0200 |
---|---|---|
committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-05-14 16:32:58 +0200 |
commit | af4097f51b7bd4f37212c2d49f0596779d79c36e (patch) | |
tree | 048f1f33767ba54881e9c476f0ba199d7ff21850 /src/lib/.gitignore | |
parent | aff55f153ddb247357f59b3740477e90eba527bd (diff) | |
parent | b9a3368e7f91857c24e48933d027b3285a28f98f (diff) | |
download | ouroboros-af4097f51b7bd4f37212c2d49f0596779d79c36e.tar.gz ouroboros-af4097f51b7bd4f37212c2d49f0596779d79c36e.zip |
Merged in dstaesse/ouroboros/be-rw_lock (pull request #80)
lib: implementation of read/write locks
Diffstat (limited to 'src/lib/.gitignore')
0 files changed, 0 insertions, 0 deletions