diff options
| author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-04-04 19:25:07 +0000 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-04-04 19:25:07 +0000 |
| commit | 10195b445b6788c60dfd851e3095fdfcb903e574 (patch) | |
| tree | 90119764d07d52c2966425e34b07621e5b00fc8c /src/tools/irm/irm_ops.h | |
| parent | 99ff1ce1bd4602b471b758a144f372bc6e1570f8 (diff) | |
| parent | 8a2fd3b8efc2de080349c4ab50a314748adc2699 (diff) | |
| download | ouroboros-10195b445b6788c60dfd851e3095fdfcb903e574.tar.gz ouroboros-10195b445b6788c60dfd851e3095fdfcb903e574.zip | |
Merged in dstaesse/ouroboros/be-local (pull request #461)
ipcpd: Remove unnecessary locks in local
Diffstat (limited to 'src/tools/irm/irm_ops.h')
0 files changed, 0 insertions, 0 deletions