diff options
author | dimitri staessens <[email protected]> | 2017-07-26 11:18:53 +0000 |
---|---|---|
committer | Sander Vrijders <[email protected]> | 2017-07-26 11:18:53 +0000 |
commit | bddac9e135e1a412d60de39cf17249507107499d (patch) | |
tree | e6cdc6bfba21e87be04df6d6fa62490813d94ce3 /doc/.gitignore | |
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 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions