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 /src/tools/irm/irm_ops.h | |
| 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 'src/tools/irm/irm_ops.h')
0 files changed, 0 insertions, 0 deletions