summaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authordimitri staessens <[email protected]>2017-07-26 11:18:53 +0000
committerSander Vrijders <[email protected]>2017-07-26 11:18:53 +0000
commitbddac9e135e1a412d60de39cf17249507107499d (patch)
treee6cdc6bfba21e87be04df6d6fa62490813d94ce3 /doc/.gitignore
parent0a36839e75c933fbc260b430e159b525d2d7df19 (diff)
parent809abada865727ea986d69afcf2a9a3b00df560a (diff)
downloadouroboros-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