diff options
author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-05-16 09:56:50 +0200 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-05-16 09:56:50 +0200 |
commit | cd14d5db7abdb12b5e46a6c055daf5304bb43b74 (patch) | |
tree | 709c7e5a885d6700a745a9edf96066e6e6657f73 /CONTRIBUTORS | |
parent | 9e2481edd6ee6aaaa6675be618b6b33024cb48e7 (diff) | |
parent | 2898feb38a0200ee190ddb921d3891507f3444da (diff) | |
download | ouroboros-cd14d5db7abdb12b5e46a6c055daf5304bb43b74.tar.gz ouroboros-cd14d5db7abdb12b5e46a6c055daf5304bb43b74.zip |
Merged in dstaesse/ouroboros/be-dev-locks (pull request #95)
lib: dev: small locking improvements
Diffstat (limited to 'CONTRIBUTORS')
0 files changed, 0 insertions, 0 deletions