summaryrefslogtreecommitdiff
path: root/src/tools/irm
diff options
context:
space:
mode:
authordimitri staessens <dimitri.staessens@intec.ugent.be>2016-05-22 20:16:12 +0200
committerdimitri staessens <dimitri.staessens@intec.ugent.be>2016-05-22 20:16:12 +0200
commit467e504993c1cb0351dc3e279e7aeab8e5df333f (patch)
tree7ef340cfa264754362bbcb561e2fbfcd7f6c6490 /src/tools/irm
parent85a26178e91679983e6fd782d9862a43132227f5 (diff)
parent702d024ce6f72507f12fadfe0f0a1bc2c585c0b9 (diff)
downloadouroboros-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')
0 files changed, 0 insertions, 0 deletions