diff options
author | dimitri staessens <[email protected]> | 2017-02-21 21:33:25 +0000 |
---|---|---|
committer | Sander Vrijders <[email protected]> | 2017-02-21 21:33:25 +0000 |
commit | ef0f04e9631947e8419f23743dd20cd538c04473 (patch) | |
tree | c16a4a1c829862363cd826a5a256b993b18de2bc /src/tools/operf | |
parent | 51adb17f46dc675456d5426b45d445082816ce5c (diff) | |
parent | ffe3262f5e78d67aa6b4214f0533ed8ada913442 (diff) | |
download | ouroboros-ef0f04e9631947e8419f23743dd20cd538c04473.tar.gz ouroboros-ef0f04e9631947e8419f23743dd20cd538c04473.zip |
Merged in dstaesse/ouroboros/be-irmd (pull request #386)
irmd: Fix detection of IRMd
Diffstat (limited to 'src/tools/operf')
0 files changed, 0 insertions, 0 deletions