diff options
author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-05-22 20:16:12 +0200 |
---|---|---|
committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-05-22 20:16:12 +0200 |
commit | 467e504993c1cb0351dc3e279e7aeab8e5df333f (patch) | |
tree | 7ef340cfa264754362bbcb561e2fbfcd7f6c6490 /src/tools/irm/irm.c | |
parent | 85a26178e91679983e6fd782d9862a43132227f5 (diff) | |
parent | 702d024ce6f72507f12fadfe0f0a1bc2c585c0b9 (diff) | |
download | ouroboros-467e504993c1cb0351dc3e279e7aeab8e5df333f.tar.gz ouroboros-467e504993c1cb0351dc3e279e7aeab8e5df333f.zip |
Merged in sandervrijders/ouroboros/be (pull request #108)
irmd: Change read lock to write lock
Diffstat (limited to 'src/tools/irm/irm.c')
0 files changed, 0 insertions, 0 deletions