diff options
author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-07-26 11:18:53 +0000 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-07-26 11:18:53 +0000 |
commit | bddac9e135e1a412d60de39cf17249507107499d (patch) | |
tree | e6cdc6bfba21e87be04df6d6fa62490813d94ce3 /src/ipcpd/local | |
parent | 0a36839e75c933fbc260b430e159b525d2d7df19 (diff) | |
parent | 809abada865727ea986d69afcf2a9a3b00df560a (diff) | |
download | ouroboros-bddac9e135e1a412d60de39cf17249507107499d.tar.gz ouroboros-bddac9e135e1a412d60de39cf17249507107499d.zip |
Merged in dstaesse/ouroboros/be-tpm (pull request #536)
lib: Add threadpool manager
Diffstat (limited to 'src/ipcpd/local')
0 files changed, 0 insertions, 0 deletions