diff options
| author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-11-19 15:46:07 +0000 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-11-19 15:46:07 +0000 |
| commit | c39e0cbc5e5fd18625dea6522fbd389eb9dc871f (patch) | |
| tree | 1489683642a77e8a860e88fecbc7484ea2ad901f /src/ipcpd/normal/pol | |
| parent | 1d39184abd7495bb3a2230ae8165bcf2cb2329fc (diff) | |
| parent | 26b338bbb6d10ca19eabee2bcb0bdf9ef82bca63 (diff) | |
| download | ouroboros-c39e0cbc5e5fd18625dea6522fbd389eb9dc871f.tar.gz ouroboros-c39e0cbc5e5fd18625dea6522fbd389eb9dc871f.zip | |
Merged in dstaesse/ouroboros/be-operf (pull request #305)
tools: Use busy waiting in operf
Diffstat (limited to 'src/ipcpd/normal/pol')
0 files changed, 0 insertions, 0 deletions